Give push access to our jenkins-jobs repo to jenkins@jenkins.lizard
Originally created by @bertagaz on #9600 (Redmine)
That’s a necessary step to have our Jenkins jobs automatically updated by our scripts.
Parent Task: #6196 (closed)
Edited by bertagaz