From b13f671882eb0d0e302860144103870f38f4a062 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 22 Feb 2015 20:01:07 +0100 Subject: add license headers and COPYING --- webhook-core.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'webhook-core.py') 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 +# Copyright (c) 2015, Ralf Jung # 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 * -- cgit v1.2.3