Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
github: Merge dependabot PRs as a proper bot account
Currently, we merge these PRs as the default GitHub Actions bot account. However, I'm fairly sure that this bot account cannot spawn new actions as a protection against recursive actions. Thus, the merge train will fail because no actions will be spawned for it since the train was created by the default bot. This commit uses the Schutzbot's token in order to create the merge train. This should allow GitHub to create the neccessary workflows when Schutzbot auto-merges the PR. Since secrets are not available on pull_request workflows, I changed the trigger to pull_request_target. This shouldn't have any other effects on the workflow.
- Loading branch information