Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GH Actions: update for new version of "Create Pull Request"
The "Create Pull Request" action has released a new major version. I have verified that the workflow as-is would still work. However, this new version also offers one relevant new feature: * Signing commits. The PRs created by this actions are created by the `github-actions[bot]` user. Adding the `sign-commits: true` option will allow the bot to sign the commits based on the repo default `GITHUB_TOKEN`. Refs: * https://github.com/peter-evans/create-pull-request/releases/tag/v7.0.0 * https://github.com/peter-evans/create-pull-request/blob/v7.0.0/docs/concepts-guidelines.md#commit-signature-verification-for-bots
- Loading branch information