hot-fix: now that branch is in cgal-public-dev

2018-09-27 15:43:08 +02:00 · 2018-09-27 15:43:08 +02:00 · 435c326a0e
parent 41e7282189
commit 435c326a0e
1 changed files with 1 additions and 1 deletions
--- a/Scripts/developer_scripts/cgal_git_update_hooks_for_client
+++ b/Scripts/developer_scripts/cgal_git_update_hooks_for_client
@ -32,7 +32,7 @@ if [ ! -e .git ];
 then
  git init
 fi
-if git pull .. remotes/cgal-dev/hooks-for-clients; then
+if git pull .. remotes/cgal-public-dev/hooks-for-clients; then
  echo "Hooks updated."
 fi
 cd ../..