Tidy jenkins.py