xaizek / rocketgit (License: AGPLv3+) (since 2018-12-09)
Light and fast Git hosting solution suitable to serve both as a hub or as a personal code storage with its tickets, pull requests, API and much more.
<root> / inc / admin / admin.php (d0e61dd59c1ad9d72d45c2e4808ec1f6a664655f) (1,286B) (mode 100644) [raw]
<?php
rg_log("FILE: /inc/admin/admin");

$_admin = "";

if ($rg['login_ui']['is_admin'] != 1) {
	$_admin .= rg_template("access_denied.html", $rg, TRUE /* xss */);
	return;
}

$_subop = empty($paras) ? 'settings' : array_shift($paras);

$rg['admin_menu'][$_subop] = 1;
$rg['HTML:menu_level2'] = '';

$rg['url_up'] = $rg['url'];
$rg['url'] .= '/' . rawurlencode($_subop);
switch ($_subop) {
case 'settings':
	$_admin_body = rg_admin_settings($db, $rg, $paras);
	break;

case 'plans':
	include($INC . "/admin/plans/plans.php");
	$_admin_body = $_admin_plans;
	break;

case 'users': // users
	include($INC . "/admin/users/users.php");
	$_admin_body = $_admin_users;
	break;

case 'repos':
	include($INC . "/admin/repos/repos.php");
	$_admin_body = $_admin_repos;
	break;

case 'ldap':
	$_admin_body = rg_ldap_high_level($db, $rg, $paras);
	break;

case 'workers':
	$_admin_body = rg_worker_high_level($db, $rg, $paras);
	break;

case 'mails':
	include($INC . '/admin/mails/mails.php');
	$_admin_body = $_admin_mails;
	break;

default:
	$_admin_body = rg_warning('invalid operation');
	break;
}
$rg['url'] = $rg['url_up'];

$_admin .= rg_template("admin/menu.html", $rg, TRUE /* xss */);
$_admin .= '<div class="generic_body">' . "\n";
$_admin .= $_admin_body;
$_admin .= '</div>' . "\n";

Hints

Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"

Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/rocketgit

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/rocketgit

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master