Commit 1ff8919
authored
ci: create pre-commit autoupdate PRs with a GitHub App token (#13)
Use a GitHub App token (actions/create-github-app-token) for checkout
and create-pull-request instead of the default GITHUB_TOKEN. PRs opened
with GITHUB_TOKEN do not trigger pull_request workflows, so the required
CodeQL and dependency-review checks never ran and the PRs stayed blocked.
With an App token the PRs trigger CI and become mergeable automatically.1 parent ed5f2dc commit 1ff8919
1 file changed
Lines changed: 10 additions & 3 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
14 | | - | |
15 | | - | |
16 | 13 | | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
17 | 21 | | |
18 | 22 | | |
| 23 | + | |
| 24 | + | |
19 | 25 | | |
20 | 26 | | |
21 | 27 | | |
| |||
31 | 37 | | |
32 | 38 | | |
33 | 39 | | |
| 40 | + | |
34 | 41 | | |
35 | 42 | | |
36 | 43 | | |
| |||
0 commit comments