Change the rename of the remote

2015-03-05 02:29:15 +01:00 · 2015-03-05 02:29:15 +01:00 · 893e09a1b2
parent a588ff698b
commit 893e09a1b2
1 changed files with 1 additions and 1 deletions
--- 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