jenkins_integration: fixing bug with pushing code in too forcefully