Introduzione sistema git per edizioni collaborative

Il sistema più diffuso per il controllo di versione per risorse elettroniche (VCS - Version Control System) e' oggi "git", un sistema open source ad architettura distribuita tra i più utilizzati per lo sviluppo di grandi progetti collaborativi, come ad esempio il kernel di Linux. La prima parte del seminario introdurrà il modello generale e i principi di progettazione che sottendono l'ambiente di versionamento, come ad esempio lo stato delle risorse, il workflow di lavoro, l'ambiente in locale e quello in remoto. Verranno anche mostrati i comandi più importanti per un efficace utilizzo dello strumento, come la creazione di un repository, fare commit degli aggiornamenti e salvare le modifiche su un host remoto. L'obiettivo è quello di fornire ai partecipanti una prima panoramica sul funzionamento del sistema git facendo ampio uso dell'interfaccia a riga di comando da terminale. La seconda parte del seminario introdurrà la piattaforma github, uno dei più comuni host per la gestione remota e collaborativa di repository git. Sarà mostrata quindi sia la procedura per creare un account sulla piattaforma sia le modalità di gestione per un semplice progetto collaborativo di codifica di testi.