Bring jenkins.py in line with `develop`