GitLab

Il nostro repository Git autogestito si trova all'indirizzo https://git.eigenlab.org/. Git è una piattaforma di sviluppo condiviso: praticamente qualsiasi progetto portato avanti da più persone contemporaneamente (software, testi collettivi, o altro) può essere gestito tramite Git, che si occupa di integrare i contributi dei diversi partecipanti, tener traccia delle versioni e dei progetti derivati che vengono "forkati" da un progetto pre-esistente.

L'interfaccia web di GitLab.

Guida

Qualche comando utile

Un elenco di comandi usati più spesso; fate riferimento comunque alla documentazione e al manuale.

• git pull fetch from and integrate with another repository or a local branch
• git init inizializza un repository Git vuoto

Creare un proprio repo

Da scrivere.

Pusciare sul repo di qualcun altR*

Da scrivere.