Have Autorevision create a PR instead of trying to push

Direct pushes to master are forbidden by branch protection rules. Have the
automation create a PR instead, so we can approve it and enable automerge. It's
a bit less convenient than a push but good enough for now. It also lets us
check that the action is working is intended. If this works well, we could
consider enabling automerge from within the action (or pushing directly as it
looks like it's supported via an access token [1]).

Closes #955.

[1] stefanzweifel/git-auto-commit-action#87

.github/workflows/release.yaml

@@ -14,9 +14,14 @@ jobs:
       - run: git rev-parse --short=5 HEAD > cmake/AutoRevision.txt
       - run: git describe --tags `git rev-list --tags --max-count=1` >> cmake/AutoRevision.txt
       - run: cat cmake/AutoRevision.txt
-      - uses: stefanzweifel/git-auto-commit-action@v4
+      - name: Create Pull Request
+        uses: peter-evans/[email protected]
         with:
-          commit_message: "Release update of AutoRevision.txt"
+          commit-message: "Release update of AutoRevision.txt"
+          branch: "release/autorevision"
+          title: "Release update of AutoRevision.txt"
+          body: "Automatic changes triggered by a new release"
+          delete-branch: true
   update-archive:
     name: "Update Source Archive"
     runs-on: ubuntu-latest