Merge pull request #3 from damien-list/master

[git-mirror.git] / webhook.py

diff --git a/webhook.py b/webhook.py
index d91a4aac3ed5774babfcacc81969d44307759638..0b3f11faa0330b2a3a3893b36743d47e6e5a18b2 100755 (executable)
--- a/webhook.py
+++ b/webhook.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python3
+#!/usr/bin/env python3
 # Copyright (c) 2015, Ralf Jung <post@ralfj.de>
 # All rights reserved.
 # 
@@ -26,7 +26,8 @@
 # This is the CGI script receiving GitHub webhooks.
 # You may have to change the location of the "main" webhook script:
 webhook_core = "/home/git/git-mirror/webhook-core.py"
-#
+
+# Do NOT change anything below here
 import urllib.request, urllib.parse, json, os, sys
 
 # get repository from query string