<?php
// Base
$rg_base = "/home/rg";
// Base for repositories
$rg_base_repo = $rg_base . "/repositories";
// Database
$rg_db = "sqlite:/tmp/rg.sqlite";
$rg_db_debug = 1;
// Session
$rg_session_time = 3600;
// Keys
$rg_keys_file = $rg_base . "/.ssh/authorized_keys";
// Scripts
$rg_scripts = "/usr/share/rocketgit/scripts";
// Allowed repo names (regular expression)
$rg_repo_allow = '/^[A-Za-z0-9_.-]*$/';
// Allowed repo name length
$rg_repo_max_len = 64;
// Allowed user names (regular expression)
$rg_user_allow = '/^[A-Za-z0-9_.-]*$/';
// Allowed user name length
$rg_user_max_len = 32;
// SSH parameters for authorized_keys
$rg_ssh_paras = "no-port-forwarding,no-X11-forwarding,no-agent-forwarding,no-pty";
// Random key that will be used for encription of the password for better security
$rg_pass_key = "reigjmn9483jfisendfhwefhefhesfuhfskhjukhtw4khfwkur";
?>
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