diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/crontab b/Maintenance/infrastructure/cgal.geometryfactory.com/crontab index 6d018b85d32..b948dcb7e27 100644 --- a/Maintenance/infrastructure/cgal.geometryfactory.com/crontab +++ b/Maintenance/infrastructure/cgal.geometryfactory.com/crontab @@ -34,6 +34,7 @@ LC_CTYPE=en_US.UTF-8 # cgal->cgal2 with git-multimail */5 * * * * cd $HOME/Git/cgal.git && git fetch --quiet --prune && git push --prune --quiet cgal2 '+refs/heads/*:refs/heads/*' '+refs/tags/*:refs/tags/*' +*/5 * * * * cd $HOME/Git/cgal-gsoc.git && git fetch --quiet --prune && git push --prune --quiet cgal-gsoc2 '+refs/heads/*:refs/heads/*' '+refs/tags/*:refs/tags/*' ####################################