diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
index 5aaf9e6e702..c86e155fd09 100755
--- a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
+++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
@@ -2,7 +2,7 @@
 
 cd $HOME/CGAL/next/Maintenance/infrastructure/cgal.geometryfactory.com/
 crontab -l >| crontab
-if [ -d .git ]; then
+if [ -d ../../../.git ]; then
     git pull 2> /dev/null
     git add crontab
     git commit -m 'updated crontab (automated commit)' && git push origin master