make sure the post-receive hooks are run when pushes come in from external repositories
authorRalf Jung <post@ralfj.de>
Tue, 24 Feb 2015 21:05:52 +0000 (22:05 +0100)
committerRalf Jung <post@ralfj.de>
Tue, 24 Feb 2015 21:05:52 +0000 (22:05 +0100)
commitd1fcac9c35289f6fac7ad302d41dba33467ceb9d
tree7aadda1740adcfa9fa478db9f5e2064263aa207d
parent1a695451f3a3261b0d73884b372f579a594b8313
make sure the post-receive hooks are run when pushes come in from external repositories
git_mirror.py
ssh-set-ident.sh
webhook-core.py