File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 77jobs :
88 check-commits :
99 runs-on : ubuntu-latest
10- # Skip the auto-generated dev -> main release PR (its title is intentionally
11- # a non-conventional-commit summary).
10+ # Skip:
11+ # - the auto-generated dev -> main release PR (its title is intentionally
12+ # a non-conventional-commit summary), and
13+ # - PRs opened by automation accounts (renovate, dependabot,
14+ # github-actions[bot], ...). They follow their own title schemes and we
15+ # don't want to spam them with format-required comments.
1216 if : |
1317 !(github.event.pull_request.head.ref == 'dev' &&
14- github.event.pull_request.base.ref == 'main')
18+ github.event.pull_request.base.ref == 'main') &&
19+ github.event.pull_request.user.type != 'Bot' &&
20+ !contains(github.event.pull_request.user.login, '[bot]')
1521 permissions :
1622 pull-requests : write
1723 statuses : write
You can’t perform that action at this time.
0 commit comments