Be able to fast forward merge without a pull request in the GitHub GUI.
A solution to How to merge branches on github.com without doing pull request? using actions/github-script@v5, see here for action.
Trigger it manually via the action's page:
Note: if you have e.g. a deploy.yml with an on: push it will not be trigged (since updateRef isn't technically a push).
But that can be triggered automaticall using actions/github-script@v5, see here.
Note: the deploy workflow will need to be updated to on: [push, workflow_dispatch]:
