Feature request: users name rather than id
- Lingua principale
- Go
- Stelle
- 125
- Fork
- 21
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
When cloning student’s assignment repository the naming of the folders is "assignementname-userid".
It would be most useful to have "assignementname-username" since the userid:s can be quite cryptic.
Resulting in 30 folder-repos you wonder whose their are.
Guida per i contributori
Apri la guida per i contributori
Direzione di ricerca
Inizia individuando il codice di GitHub Classroom CLI che assegna il nome ai repository clonati degli assignment degli studenti, quindi segui come viene selezionato l’identificatore dello studente. La modifica è completa quando le cartelle clonate utilizzano il nome utente dello studente invece dell’ID utente e il comportamento esistente continua a essere coperto dai test pertinenti.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- go
- Ambito
- cli
- Tipo di issue
- Funzionalità
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 35/100