add update-ref master to merge-development-with-master script

2015-06-26 19:48:48 +01:00 · 2015-06-26 19:48:48 +01:00 · 5e3ea5b6e7
commit 5e3ea5b6e7
parent 95128f98bc
1 changed files with 1 additions and 0 deletions
--- a/tools/merge-development-with-master.sh
+++ b/tools/merge-development-with-master.sh
@ -5,6 +5,7 @@ if [ "$TRAVIS_BRANCH" != "development" ]; then
  exit 0;
 fi

+git update-ref HEAD master
 git checkout master
 git merge "${TRAVIS_COMMIT}"
 git push "https://${GH_TOKEN}@github.com/babel/babel"