Raccolte di risorse

Introduzione La repository cartabinaria/update contiene un semplice script Bash per applicare le stessa patch (in formato .diff) a tutte le repository degli insegnamenti in un colpo solo. Prima di cominciare Per ogni repository, le password di eventuali chiavi ssh e gpg vengono chieste da git circa 4 volte.

Se sei alle prime armi, usare l’interfaccia web di GitHub è un modo facile di contribuire alle risorse di un insegnamento: quando visioni le risorse che vuoi modificare, a destra del percorso in cima alla pagina clicca sull’icona GitHub ; in alto a destra, clicca su “Fork” e, sulla pagina risultante, “Create fork”; visualizzerai github.

Aggiungere un nuovo insegnamento è facile, se ti trovi già all’interno dell’organizzazione CartaBinaria su GitHub: su template-it/template-en, usa “Use this template”/“Create a new repository”; come nuovo nome, usa la-convenzione-kebab-case, ing- come eventuale prefisso per Ingegneria informatica, isi- come eventuale prefisso per Ingegneria e scienze informatiche, ipim- come eventuale prefisso per Informatica per il management (non servono prefissi per distinguere triennali da magistrali); come descrizione, usa una frase simile a “Una raccolta di risorse per l’insegnamento di Linguaggi di programmazione (04138) del Corso di Laurea in Informatica”; scegli “Public” e vai su “Create repository from template”; abilita GitHub Pages da “Settings” / “Pages” impostando “Source” come “GitHub Actions”; concedi i diritti “Mantain” ai gruppi interessati.

Quando ci sono nuove modifiche su una PR o sulla branch main, vengono eseguiti alcuni controlli automatici. È bene che tutti i controlli passino prima che la PR venga accettata. Le moderatrici e i moderatori ti aiuteranno lungo tutto il percorso.