Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This allows GitHub Action workflows to be triggered for the PR created by the bot. As things are now triggered by the bot, elevated permissions of the workflow itself are no longer required. Signed-off-by: Hidde Beydals <[email protected]>
- Loading branch information