diff --git a/scripts/github/update-gh-pages.sh b/scripts/github/update-gh-pages.sh index b8ea06af8..3456fec33 100755 --- a/scripts/github/update-gh-pages.sh +++ b/scripts/github/update-gh-pages.sh @@ -109,6 +109,7 @@ if [ "$site_subdir" != "master" ]; then ;; *) echo "Not a released version. Parsed release branch is $site_subdir but based on tag $_base_tag. Stopping here." + echo "SHA `git describe` (`git rev-parse HEAD`)" exit 0 ;; esac