jenkins-run: Rerun buildout on mr.devoper / github error (503).