archive/git-mirror
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
15 commits 1 branch 0 tags 60 KiB
Python 93.7%
Shell 6.3%
Find a file
Ralf Jung eea79d998e fix some bugs
2015-06-08 20:23:10 +02:00
.gitignore add gitignore 2015-02-25 22:02:06 +01:00
COPYING add license headers and COPYING 2015-02-22 20:01:07 +01:00
git_mirror.py fix some bugs 2015-06-08 20:23:10 +02:00
githook.py avoid needless format string position identifiers 2015-03-06 13:20:13 +01:00
github-add-hooks.py fix some bugs 2015-06-08 20:23:10 +02:00
ssh-set-ident.sh make sure the post-receive hooks are run when pushes come in from external repositories 2015-02-24 22:05:52 +01:00
webhook-core.py avoid needless format string position identifiers 2015-03-06 13:20:13 +01:00
webhook.py verify the HMAC that GitHub sends 2015-02-22 22:58:37 +01:00