diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/crontab b/Maintenance/infrastructure/cgal.geometryfactory.com/crontab index 7e581d476d4..d017ce93e29 100644 --- a/Maintenance/infrastructure/cgal.geometryfactory.com/crontab +++ b/Maintenance/infrastructure/cgal.geometryfactory.com/crontab @@ -34,14 +34,10 @@ LC_CTYPE=en_US.UTF-8 18 * * * * $HOME/bin/dump_crontab # cgal->cgal2 with git-multimail -*/5 * * * * cd $HOME/Git/cgal-dev-pusher.git && git fetch -f --quiet --prune cgal-dev 'refs/*:refs/*' && git push --prune --quiet cgal-dev-receiver '+refs/heads/*:refs/heads/*' '+refs/tags/*:refs/tags/*' -*/5 * * * * cd $HOME/Git/cgal-pusher.git && git fetch -f --quiet --prune cgal 'refs/*:refs/*' && git push --prune --quiet cgal-receiver '+refs/heads/*:refs/heads/*' '+refs/tags/*:refs/tags/*' -*/5 * * * * cd $HOME/Git/cgal-students-pusher.git && git fetch -f --quiet --prune cgal-public-dev 'refs/*:refs/*' && git push --prune --quiet cgal-students-receiver '+refs/heads/*:refs/heads/*' '+refs/tags/*:refs/tags/*' -*/5 * * * * cd $HOME/Git/cgal-web-pusher.git && git fetch --quiet -f --prune cgal-web 'refs/*:refs/*' && git push --prune --quiet cgal-web-receiver '+refs/heads/*:refs/heads/*' '+refs/tags/*:refs/tags/*' - -# Test: -*/3 * * * * log="$(cd $HOME/Git/cgal-web-pusher.git && echo Multiline && echo false && false && true && echo true && echo Suite)" || printf '%s\n' "$log" -*/3 * * * * log="$(cd $HOME/Git/cgal-web-pusher.git && echo Multiline && echo true && true && echo false && false && echo Suite)" || printf '%s\n' "$log" +*/5 * * * * cd $HOME/Git/cgal-dev-pusher.git && $HOME/bin/git-fetch-and-push-to-multimail cgal-dev cgal-dev-receiver +*/5 * * * * cd $HOME/Git/cgal-pusher.git && $HOME/bin/git-fetch-and-push-to-multimail cgal cgal-receiver +*/5 * * * * cd $HOME/Git/cgal-students-pusher.git && $HOME/bin/git-fetch-and-push-to-multimail cgal-public-dev cgal-students-receiver +*/5 * * * * cd $HOME/Git/cgal-web-pusher.git && $HOME/bin/git-fetch-and-push-to-multimail cgal-web cgal-web-receiver #################################### # Old stuff