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