- Patch the jenkinsfile so it publishes using the correct credentials provided by Jenkins. (#8277)