Das verteilte Versionskontrollsystem GIT ist ein populäres Werkzeug um Programmcode zu verwalten. Mit dieser Oberfläche können Sie GIT-repositories erstellen und den Zugriff für mehrere Benutzer festlegen.
"); output("Wir verwenden das beliebte System »gitolite« um diese Funktionalität anzubieten. Gitolite erlaubt bei Bedarf weitaus feingliedrigere Kontrolle als dieser Webinterface. Fragen Sie bitte den Support, wenn Sie Interesse daran haben zusätzliche Berechtigungen einzurichten.
"); $repos = list_repos(); $users = list_users(); if (count($repos) == 0) { output("bisher haben Sie keine GIT-Repositories
"); } else { output("{$repo} ".internal_link('edit', icon_edit('Zugriffsrechte bearbeiten'), 'repo='.$repo)." ".internal_link('delete', icon_delete('Repository löschen'), 'repo='.$repo)."{$description}
{$url} {$public_string}
Bitte legen Sie zunächst mindestens einen SSH-Key an.
'); } if (count($users) == 0) { output('Es sind bisher keine SSH-Keys eingerichtet.
'); } else { output(''.$handle.' '.internal_link('newkey', icon_edit('Hinterlegten SSH-Key ändern'), 'handle='.$handle)." ".internal_link('delete', icon_delete('SSH-Key löschen'), 'handle='.$handle)."
"); } addnew('newkey', 'Neuen SSH-Key eintragen'); output('Hinweis: Die hier gezeigten Berechtigungen können unter Umständen nicht aktuell sein. Bei Bearf können Sie '.internal_link('refresh', 'die Berechtigungen neu einlesen lassen').'
');