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> / scripts / worker.sh (a778febf53362e20eff6a9d96046ab86080a3f30) (558B) (mode 100755) [raw]
#!/bin/bash

# This is a wrapper for worker.php, to not wait a lot after it exits

. /usr/share/rocketgit/scripts/common.sh

# this is run in rocketgit_worker_t, so we cannot do it
#check_context

id="${1}"

exec 100<>/var/lib/rocketgit/locks/worker-${id}.sh.lock

flock --exclusive --nonblock 100
if [ "${?}" != "0" ]; then
	exit 0
fi

while [ 1 ]; do
	php /usr/share/rocketgit/scripts/worker.php "${@}"

	# in case of errors, we will wait, to not go into an infinite loop
	if [ "${?}" != "0" ]; then
		sleep 10
	else
		sleep 1
	fi
done

flock --unlock 100
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