diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_release b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_release index 5a5500543f9..bf3f69c882e 100755 --- a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_release +++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_release @@ -5,7 +5,10 @@ export LC_ALL if [ -d "$1/.git" ]; then pushd $1 - git pull + branch=`git rev-parse --abbrev-ref HEAD` + echo "Git repository, in branch '$branch'" + git fetch + git reset --hard origin/$branch popd else svn up "$1"