Legen Sie hier fest, welche Berechtigungen für welche SSH-Keys gelten sollen.

"); $form .= ''; } else { $action = 'newrepo'; title("Neues GIT-Repository anlegen"); output("

Geben Sie einen Namen für das neue Repository an und legen Sie fest, welche Berechtigungen für welche SSH-Keys gelten sollen.

"); $form .= '

Name des Repository

'.filter_input_general($_GET['repo']).'

'; } $form .= '

Name des Repository
Berechtigungen	'; foreach ($users as $user) { $r = $rw = $rwplus = ''; if (isset($_GET['repo']) && isset($repos[$_GET['repo']])) { $repo = $repos[$_GET['repo']]; if (isset($repo[$user])) { switch ($repo[$user]) { case 'RW+': $rwplus = ' selected="selected"'; break; case 'RW': $rw = ' selected="selected"'; break; case 'R': $r = ' selected="selected"'; break; } } } $form .= $user.': '; } $form .= '

'; $form .= '

'; output(html_form('git_edit', 'save', 'action='.$action, $form));