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 (dea3ded037557024b657981fe16e031656693e12) (893B) (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) ? 'plans' : array_shift($paras);

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

switch ($_subop) {
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': // repos
	include($INC . "/admin/repos/repos.php");
	$_admin_body = $_admin_repos;
	break;

case 'invites': // invites
	$_admin_body = rg_admin_invites_high_level($db, $rg);
	break;
}

$_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