fix: sloppy merges #657 & #658 - sorry for the noise

Author: oesteban

.github/workflows/docs-build-update.yml

@@ -49,7 +49,7 @@ jobs:
           make -C docs/ SPHINXOPTS="-W" BUILDDIR="$HOME/docs" OUTDIR="${CURBRANCH:-html}" html
 
     - name: Push created tag to gh-pages
-      if: github.ref == 'refs/heads/master'
+      if: startsWith(github.ref, 'refs/tags/')
       run: |
         MAJOR_MINOR=${CURBRANCH%.*}
         if [[ "${MAJOR_MINOR}" == "" ]]; then
@@ -68,7 +68,7 @@ jobs:
         git push
 
     - name: Push "master" docs to gh-pages after a PR is merged
-      if: github.event.pull_request.merged == true
+      if: github.ref == 'refs/heads/master/'
       run: |
         if [[ "${CURBRANCH}" != "master" ]]; then
             echo "$CURBRANCH is not the default development branch"