chore: restore to master branch after publishing to gh-pages

Ensures that all the repo files are again available for subsequent CI job steps.

Author: ivanstanev

scripts/publish-gh-pages.sh

@@ -1,6 +1,8 @@
 #! /bin/bash
 set -e
 
+trap "git checkout --force master" EXIT
+
 NEW_TAG=$1
 echo About to update the gh-pages branch with new tag ${NEW_TAG}