jenkins_integration: fix bug in sync_changes