Soll das GIT-Repository »'.$_GET['repo'].'« wirklich gelöscht werden?

Alle Inhalte die in diesem Repository gespeichert sind, werden gelöscht!

'); } elseif ($sure === true) { delete_repo($_GET['repo']); if (! $debugmode) header('Location: git'); die(); } elseif ($sure === false) { if (! $debugmode) header("Location: git"); die(); } } if (isset($_GET['handle'])) { $users = list_users(); if (!in_array($_GET['handle'], $users)) { system_failure("Es sollte ein unbekannter SSH-Key gelöscht werden!"); } $sure = user_is_sure(); if ($sure === NULL) { are_you_sure("handle={$_GET['handle']}", '

Soll der SSH-Key »'.$_GET['handle'].'« wirklich gelöscht werden?

'); } elseif ($sure === true) { delete_key($_GET['handle']); if (! $debugmode) header('Location: git'); die(); } elseif ($sure === false) { if (! $debugmode) header("Location: git"); die(); } }