web_infrastructure/jenkins_plugin.py