new file mode 100755

@@ -0,0 +1,15 @@

+#!/bin/sh

+set -euC

+

+# https://gitolite.com/gitolite/dev-notes.html#environment-variables-and-other-inputs

+# https://plugins.jenkins.io/git/#push-notification-from-repository

+

+gitolite_url="https://git.$(dnsdomainname)/$GL_REPO"

+jenkins_url="${JENKINS_URL:-"https://jenkins.$(dnsdomainname)"}"

+notify_url="$jenkins_url/git/notifyCommit?url=$gitolite_url"

+connect_timeout="5"

+

+if ! curl --connect-timeout "$connect_timeout" "$notify_url"

+then

+    printf "Failed to notify '$notify_url'.\\n"

+fi