jorisroovers / gitlint / 5356013985 / 12

100%

main: 100%

push

github

GHA: Notify - extract PR number when merging on main (#511)

When using github.rest.issues.createComment, context.issue.number
does not work when the notify job is triggered by a push to the 'main'
branch event.

Instead, we manually extract the PR number using the gh CLI.

927 of 941 branches covered (98.51%)

4603 of 4618 relevant lines covered (99.68%)

1.0 hits per line