Synchronize repositories more frequently doing pause in the middle of the day

configure_jenkins.groovy

@@ -173,7 +173,8 @@ platforms.each { platform ->
 			}
 		}
 		triggers {
-			cron('H 3,7,9 * * *')
+			// Make a pause for sync during working hours
+			cron('H 3,7,9,20,23 * * *')
 		}
 		steps {
 			shell('/usr/bin/env MIRRORS_DEST=${MIRRORS_DEST} MIRRORS_SRC=${MIRRORS_SRC} PLATFORM=' + platform + ' /bin/sh ./scripts/sync_alt_repo')