Have user merge the stable release PR

Replace the auto-merge in the on-approval action with a comment instructing the user to merge the PR if it looks good. The on-merge-to-main action apparently doesn't run if GH Actions did the merge to main...?

.github/workflows/on-pr-approved.yaml

@@ -41,9 +41,9 @@ jobs:
       - uses: actions/github-script@v6
         with:
           script: |
-            github.rest.pulls.merge({
+            github.rest.issues.createComment({
+              issue_number: context.issue.number,
               owner: context.repo.owner,
               repo: context.repo.repo,
-              pull_number: ${{ github.event.pull_request.number }},
-              merge_method: 'merge'
+              body: 'Merge this PR to publich version ${{ steps.version.outputs.VERSION }} to npm as the latest stable version.'
             })