diff options
author | Ralf Jung <post@ralfj.de> | 2015-02-22 20:01:07 +0100 |
---|---|---|
committer | Ralf Jung <post@ralfj.de> | 2015-02-22 20:01:07 +0100 |
commit | b13f671882eb0d0e302860144103870f38f4a062 (patch) | |
tree | a5dbdf545fd916296e108f59770672e188a485e7 /webhook-core.py | |
parent | 503462ba4433cef0cf10deaf9595a431157832ee (diff) |
add license headers and COPYING
Diffstat (limited to 'webhook-core.py')
-rwxr-xr-x | webhook-core.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/webhook-core.py b/webhook-core.py index 93b138c..bff1137 100755 --- a/webhook-core.py +++ b/webhook-core.py @@ -1,5 +1,5 @@ #!/usr/bin/python3 -# Copyright (c) 2014, Ralf Jung <post@ralfj.de> +# Copyright (c) 2015, Ralf Jung <post@ralfj.de> # All rights reserved. # # Redistribution and use in source and binary forms, with or without @@ -23,7 +23,7 @@ # SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. #============================================================================== -# This is the hook called by git post-commit. It updats all mirrors to the status of the local repository. +# This is the hook called by GitHub as webhook. It updats the local repository, and then all the other mirrors. import sys, traceback from git_mirror import * |