GitLab

L'interfaccia web di 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 da un progetto pre-esistente.

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
• git add <nomefile> aggiunge uno o più file al prossimo commit. Le modifiche a tali file saranno tracciate d'ora in poi, anche se devono essere esplicitamente aggiunti ai commit successivi.
• git commit Esegue un commit.
  • L'opzione -m <testo> evita di aprire un editor per inserire un messaggio significativo pel commit.
  • L'opzione -a equivale a precedere il comando con un add di tutti i file tracciati che sono stati modificati dall'ultimo commit.
• git revert <commit> "Annulla" il/i commit specificati facendo un nuovo commit che contiene le modifiche a ritroso. Utile per quando fai le gonfiate

Creare un proprio repo

Da scrivere.

Pusciare sul repo di qualcun altR*

Da scrivere.