webinterface.git

1) <?php

2) require_once('inc/icons.php');

3) 
4) include('git.php');
5) require_role(ROLE_SYSTEMUSER);
6) 

7) title("GIT-Zugänge");

8) 

9) output("<p>Das verteilte Versionskontrollsystem <a href=\"http://www.git-scm.org\">GIT</a> 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.</p>");
10) output("<p>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.</p>");
11) 
12) $repos = list_repos();
13) $users = list_users();
14) 
15) if (count($repos) == 0) {
16)   output("<p><em>bisher haben Sie keine GIT-Repositories</em></p>");
17) } else {
18)   output("<h3>Ihre GIT-Repositories</h3>"); 
19) }
20) 

21) foreach ($repos as $repo => $settings) {
22)   $description = $settings['description'] ? '<br /><em>"'.$settings['description'].'"</em>' : '';

23)   $url = get_git_url($repo);

24)   output("<div><p><strong>{$repo}</strong> ".internal_link('edit', icon_edit('Zugriffsrechte bearbeiten'), 'repo='.$repo)." ".internal_link('delete', icon_delete('Repository löschen'), 'repo='.$repo)."{$description}<br />{$url}</p><ul>");
25)   foreach ($settings['users'] as $user => $rights) {