Make sure master's up to date when tagging versions

pages_builder/tag_latest_version.sh

@@ -4,6 +4,7 @@ echo "≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡≡
 echo "TAGGING LATEST VERSION"
 echo "--------------------------------------------------------------------------------"
 git checkout master
+git pull origin master
 commit=$(git log master --pretty=oneline --abbrev-commit --no-decorate | grep "Bump version to" | head -n1)
 sha=$(echo $commit | cut -d ' ' -f1)
 version=v$(cat VERSION.txt)