Git

Git er en fri distribueret revisionskontrol eller softwarekildekode managementprojekt.

Repository på DAIMI

Hvis I er skarpt flere end en person så brug usermgr til at oprette en gruppe så alle kan committe.

Hvis du vil oprette et tomt repository så brug

git init --bare

inde i en tom mappe. Hvis du vil oprette et repository ud fra et eksisterende repository så brug

git clone --bare <repository>

hvor <repository> er dit repository (se evt. man pagen). Resultatet kan om nødvendigt flyttes efterfølgende.

Vigtigt: Hvis du deler repositoriet med din gruppe, skal du bruge --shared=group når du opretter repositoriet og derefter køre chmod g+s på alle filerne/mapperne i repositoriet. Endelig skal du også ændre gruppen til den gruppe du oprettede med usermgr vha. eks. chgrp.

Hvis du deler repositoriet med andre så sørg for at de har læse/skrive adgang vha. chmod og chgrp.

Når dette er gjort kan man clone repositoriet via SSH ved at skrive eksempelvis:

git clone NFIT-brugernavn@fh.cs.au.dk:/users/bruger/repo/antsspiders

Workflow

For et nemt og brugbart workflow med git, se da dette diagram.