Skip to content

No labels!

There aren’t any labels for this repository quite yet.

10 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
actions
actions
Aggiornamenti e modifiche alle Actions di GitHub
2
documentazione
documentazione
Qualunque operazione riguardante la documentazione del progetto
2
domanda
domanda
Domanda inerente ad uno specifico esercizio o concetto
help wanted
help wanted
Monkey trouble, monkey help
4
nuovo materiale
nuovo materiale
Aggiunta di nuovi appunti/dispense per un esame
4
problema
problema
Qualche errore/inesattezza negli appunti
3
proposta
proposta
Nuova proposta per migliorare qualcosa
7
ready
ready
La Pull Request è pronta per il merge
richiesta
richiesta
Richiesta di risorse mancanti totalmente/parzialmente
2
riscrittura
riscrittura
Riscrittura o completamento di materiale incompleto
2