Change the bump-version workflow's schedule (#3512)

* Change the bump-version workflow's schedule

Either I don't understand cron or GitHub doesn't understand cron. It's
not clear which. I think that
https://github.com/bytecodealliance/wasmtime/pull/3511 may have fallen
within our schedule but it was supposed to be on a weekday. Otherwise
https://github.com/bytecodealliance/wasmtime/pull/3499 was certainly
spurious. This commit moves to a simpler "just do it on the same day
each month" and we can manually figure out weekdays and such. Hopefully
this should reduce the number of spurious PRs we're getting to bump
versions.

This also removes the script to force a version bump since I found a
button on the GitHub UI to do the same thing. Additionally I've updated
the patch-release documentation to use this button. Note that this
button takes inputs as well which means we can further automate patch
releases to look even more like normal release process, differing only
in one part of the argument used to trigger the workflow.

* Fix a typo

.github/workflows/bump-version.yml

@@ -11,18 +11,19 @@
 name: "Bump version number"
 on:
   schedule:
-    # “At 00:00 on every day-of-month from 8 through 14 and on Monday.”
+    # “At 00:00 on day-of-month 5.”
     #
-    # https://crontab.guru/#0_0_8-14_*_1
-    - cron: '0 0 8-14 * 1'
+    # https://crontab.guru/#0_0_5_*_*
+    - cron: '0 0 5 * *'
 
-  # Allow manually triggering this workflow remotely via a curl request,
-  # described at
-  # https://docs.github.com/en/rest/reference/actions#create-a-workflow-dispatch-event
-  #
-  # Note that this can be also triggered by running the script in
-  # `ci/force-ci-bump-version.sh`
+  # Allow manually triggering this request via the button at
+  # https://github.com/bytecodealliance/wasmtime/actions/workflows/bump-version.yml
   workflow_dispatch:
+    inputs:
+      publish_cmd:
+        description: 'Publish script argument: "bump" or "bump-patch"'
+        required: false
+        default: 'bump'
 
 jobs:
   bump_version:
@@ -36,7 +37,13 @@ jobs:
         id: bump
         run: |
           rustc scripts/publish.rs
-          ./publish bump
+          if [ "${{ github.event.inputs.publish_cmd }}" != "" ]; then
+            # this was manually triggered
+            ./publish ${{ github.event.inputs.publish_cmd }}
+          else
+            # this was cron-triggered.
+            ./publish bump
+          fi
           version=$(grep '^version =' Cargo.toml | head -n 1 | sed 's/.*"\(.*\)"/\1/')
           echo "::set-output name=version::$version"