Gitea
Gitea ist ein leichtgewichtiger Git-Service. Es ist ähnlich zu GitHub, Bitbucket, und Gitlab. Gitea ist ein fork von Gogs. Im SoPra wird Gitea zum einen als remote-Repository verwendet zum anderen als Tool zum umsetzen von Scrum.
Startseite
Auf der Startseite von Gitea (Abildung 1) befindet sich:
- Eine Übersicht über die neuesten Commits und Aktivitäten in Repositories auf die man Zugriff hat (linke Spalte). In diesem Beispiel ausschließlich Repository
sopra-ws18/sopra11
- Eine Übersicht über alle Repositories auf die man Zugriff hat (rechte Spalte).
Drückt man auf einen der vielen Links mit sopra-ws18/sopra11
, wechselt man auf die Übersichtsseite des Repositories.
Repository Übersicht
Die Repositoryübersicht ist in mehrere Registerkarten unterteilt (Abbildung 2):
- Code: bietet eine Übersicht über das Repository. Es zeigt die aktuelle Version des default Branch (hier
dev
). - Issues: zeigt alle Issues im Projekt an. Hier lassen sich auch Labels bearbeiten und Milestones erstellen.
- Pull Requests: zeigt eine Liste von allen Pull Requests die im Repository gestellt wurden.
- Releases: listet Releases auf, die im Projekt erstellt wurden. Releases verbinden einen bestimmten Zustand des Repositories mit einem Titel, einem Text und zusätzlich hochgeladenen Dateien (z.B: einer kompillierten Version des Programms).
- Wiki: erlaubt es jedem Benutzer des Repositories Wiki-Seiten für das Projekt zu erstellen.
Weitere Funktionen
Repository
Das Repository kann über die unter Code
angezeigte URL geklont werden. Es ist möglich auf Repository über HTTPS (über Username und Passwort des Giteaaccounts) oder per SSH (mit einem SSH-Key) zuzugreifen. Vor- und Nachteile der einzelnen Methoden können im GitBuch nachgelesen werden.
Pull Request
TODO
SSH Key hinzufügen
Um dem Git Client Zugriff auf das Repository zu geben, kann man einen SSH-Key zu seinem Account hinzufügen. Dazu öffnet man https://sopragit.informatik.uni-freiburg.de/user/settings/keys und klickt auf SSH-Schlüssel verwalten. Jetzt kann man den öffentlichen Teil des Schlüssels eintragen und mit Klick auf Schlüssel hinzufügen dem Account hinzufügen.