diff --git a/jenkins/post-receive b/jenkins/post-receive.sh
similarity index 100%
rename from jenkins/post-receive
rename to jenkins/post-receive.sh