diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
index de50ddee349..478770cf106 100755
--- a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
+++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/dump_crontab
@@ -7,7 +7,7 @@ if [ -d ../../../.git ]; then
     git diff --cached --quiet || exit $?
     git add crontab
     if git commit -m 'updated crontab (automated commit)' > /dev/null; then
-        git push origin master
+        git push cgal master
     else
         true
     fi