diff options
author | Ralf Jung <post@ralfj.de> | 2015-02-24 22:05:52 +0100 |
---|---|---|
committer | Ralf Jung <post@ralfj.de> | 2015-02-24 22:05:52 +0100 |
commit | d1fcac9c35289f6fac7ad302d41dba33467ceb9d (patch) | |
tree | 7aadda1740adcfa9fa478db9f5e2064263aa207d /webhook-core.py | |
parent | 1a695451f3a3261b0d73884b372f579a594b8313 (diff) |
make sure the post-receive hooks are run when pushes come in from external repositories
Diffstat (limited to 'webhook-core.py')
-rwxr-xr-x | webhook-core.py | 3 |
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: |