Pull before commit

update_version.sh

@@ -132,6 +132,7 @@ fi
 
 cd versions
 
+git pull origin master # in case another build just pushed
 git add .
 dateAndMonth=`date "+%D %T"`
 git commit -m "Travis update: $dateAndMonth (Build $TRAVIS_BUILD_NUMBER)"