jenkins_integration: ensure master is in sync with origin prior to push