jenkins_integration: minor cleanup, adding stub of replacement for full_sync