Allow JENKINS_URL to be a repo_config setting.