diff --git a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_release b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_release index d8297a8cee0..72acc8878e9 100755 --- a/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_release +++ b/Maintenance/infrastructure/cgal.geometryfactory.com/bin/create_release @@ -12,12 +12,14 @@ if [ -d "$1/.git" ]; then git clean -f # Hard-reset integration "every day" even if today's "$branch" is not integration - git push -f origin origin/master:integration + # and create testsuite-Monday, testsuite-Tuesday, and so on... + git push -f origin origin/$branch:refs/heads/`date '+testsuite-%A'` origin/master:integration popd else svn up "$1" fi +exit # Update the candidates branch, if any. [ -d "$2" ] && svn up "$2"