Repair the "pushing to Git triggers a Jenkins build" CI feature (!8) · Merge requests · tails / puppet-tails

intrigeri requested to merge fix-notifying-Jenkins-on-Git-push into master Jul 12, 2020

We changed the Jenkins configuration to pull from GitLab while the mirroring to Gitolite was not working: jenkins-jobs@4db52b22

But we did not adjust this post-receive hook accordingly, so the "pushing to Git triggers a Jenkins build" behavior is broken.

Let's repair this, until we make up our mind (sysadmin#17715 (closed)) wrt. whether we should keep pointing Jenkins to GitLab's tails/tails, or use the local mirror we have on puppet-git.lizard.

Edited Jul 12, 2020 by intrigeri

Repair the "pushing to Git triggers a Jenkins build" CI feature

Merge request reports