aboutsummaryrefslogtreecommitdiffstats
path: root/git_mirror.py (follow)
Commit message (Collapse)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 ↵Ralf Jung2015-02-241-9/+18
| | | | repositories
* 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, ↵Ralf Jung2015-02-221-0/+156
and to add email reports