aboutsummaryrefslogtreecommitdiffstats
path: root/git_mirror.py (follow)
Commit message (Expand)AuthorAgeFilesLines
* changed user to used one and disabled deleting of brancheslookshe2016-09-261-1/+1
* fix some bugsRalf Jung2015-06-081-1/+2
* add a script to setup github repositories appropriatelyRalf Jung2015-06-081-4/+4
* avoid needless format string position identifiersRalf Jung2015-03-061-7/+7
* compensate for the gitolite mirror script not to be a proper executableRalf Jung2015-02-251-1/+1
* make sure the post-receive hooks are run when pushes come in from external re...Ralf Jung2015-02-241-9/+18
* verify the HMAC that GitHub sendsRalf Jung2015-02-221-10/+8
* deal with the initial "zen" message from github; fix thingsRalf Jung2015-02-221-4/+4
* add support for setting the SSH identity per-repoRalf Jung2015-02-221-3/+12
* configure sender of mailsRalf Jung2015-02-221-6/+12
* add license headers and COPYINGRalf Jung2015-02-221-0/+23
* redesign to use force pushes only if necessary, to avoid race conditions, and...Ralf Jung2015-02-221-0/+156