workflow: build dev docs for push/PRs to dev

Author: vpratz

.github/workflows/multiversion-docs.yaml

@@ -3,12 +3,13 @@
 name: multiversion-docs
 
 on:
+  pull_request:
+    branches:
+      - dev
   workflow_dispatch:
-# execute this workflow automatically when we push to master or dev
-#   push:
-#     branches:
-#       - master
-#       - dev
+  push:
+    branches:
+      - dev
 
 jobs:
 
@@ -51,7 +52,7 @@ jobs:
       - name: Commit changes to docs
         run: |
           cd ./gh-pages-dev
-          git rm -rf .
+          git rm --quiet -rf .
           cp -R ../dev/docs/* ./
           git config --local user.email ""
           git config --local user.name "github-actions"