When a RFC closed after the last run, it will comment on the open PR (if it is still open) that the RFC has been closed and how to trigger the bot to merge the PR.
If it is succesfull, we can automate it to simply close the PRs without human input.
Also, updated actions/create-github-app-token to latest (version 1.8.1)
This includes https://github.com/paritytech/rfc-action/pull/34 which takes into consideration successful RFCs.
When a RFC closed after the last run, it will comment on the open PR (if it is still open) that the RFC has been closed and how to trigger the bot to merge the PR.
If it is succesfull, we can automate it to simply close the PRs without human input.
Also, updated actions/create-github-app-token to latest (version
1.8.1)