jenkins_integration: push bumps back to origin/master