aboutsummaryrefslogtreecommitdiffstats
path: root/webhook-core.py
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2015-02-24 22:05:52 +0100
committerRalf Jung <post@ralfj.de>2015-02-24 22:05:52 +0100
commitd1fcac9c35289f6fac7ad302d41dba33467ceb9d (patch)
tree7aadda1740adcfa9fa478db9f5e2064263aa207d /webhook-core.py
parent1a695451f3a3261b0d73884b372f579a594b8313 (diff)
make sure the post-receive hooks are run when pushes come in from external repositories
Diffstat (limited to 'webhook-core.py')
-rwxr-xr-xwebhook-core.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/webhook-core.py b/webhook-core.py
index 934d41f..dcb7250 100755
--- a/webhook-core.py
+++ b/webhook-core.py
@@ -76,11 +76,12 @@ if __name__ == "__main__":
mirror = repo.find_mirror_by_url(urls)
if mirror is None:
raise Exception("Could not find the mirror.")
- repo.update_ref_from_mirror(ref, oldsha, newsha, mirror, suppress_stderr = True)
+ stdout = repo.update_ref_from_mirror(ref, oldsha, newsha, mirror, suppress_stderr = True)
# print an answer
print("Content-Type: text/plain")
print()
print("Updated {0}:{1} from mirror {2} from {3} to {4}".format(reponame, ref, mirror, oldsha, newsha))
+ print(stdout)
else:
raise Exception("Unexpected github event {0}.".format(githubEvent))
except Exception as e: