<?php
require_role(ROLE_SYSTEMUSER);
include('git.php');
$section = 'git_git';
$handle = '';
if (isset($_GET['handle'])) {
$handle = filter_input_general($_GET['handle']);
}
$action = '';
$form = '';
$pubkey = '';
if ($handle) {
$action = 'newkey';
title('Neuen SSH-Key für GIT-Benutzer');
output('<p>Legen Sie hier einen neuen SSH-Key für einen bestehenden Benutzer fest.</p>');
$pubkey = get_pubkey($handle);
} else {
$action = 'newuser';
title('Neuer GIT-Benutzer');
output('<p>Tragen Sie hier einen eindeutigen Namen für den neuen Benutzer fest und hinterlegen Sie einen SSH-Public-Key.</p><p><strong>Hinweis:</strong> Es wird nicht funktionieren, mehrere GIT-Zugänge mit dem selben Public-Key einzurichten. Soll ein Entwickler auf GIT-Repositories mehrerer unserer Kunden zugreifen, dann darf der Benutzer nur einmal angelegt werden und muss bei den übrigen Kunden als "GIT-Benutzer eines anderern Kunden" freigeschaltet werden.</p>');
}
$userprefix = $_SESSION['userinfo']['username'].'-';
$form .= '<table><tr><td><label for="handle" />Name des Benutzers:</label></td>';
if ($handle) {
$form .= '<td><input type="hidden" name="handle" value="'.str_replace($userprefix, '', $handle).'" /><strong>'.$handle.'</strong></td></tr>';
} else {
$form .= '<td>'.$userprefix.'<input type="text" id="handle" name="handle" value="'.$handle.'" /></td></tr>';
}