test deploy-docs workflow ...

Author: kernc

.github/deploy-gh-pages.sh

@@ -31,4 +31,7 @@ if git diff --staged --quiet; then
   exit 0
 fi
 git commit -a -m "CI: Update docs for ${GITHUB_REF#refs/tags/} ($head)"
-git push
+
+
+
+git push --dry-run

.github/workflows/deploy-docs.yml

@@ -2,6 +2,7 @@ name: Deploy docs
 on:
   push:
     tags: ['[0-9]+.[0-9]+.*']
+  pull_request: { branches: [master] }
 
 jobs:
   deploy: