Repository navigation
Commit f4b4945
authored
ci: accept cross-repo issue references in the PR body check (#124)
The PR Body check only matched a same-repo '#N' after closes, fixes,
resolves or refs, so a PR tracked by another repo's issue failed even
though GitHub links the reference. It now accepts GitHub's closing
keywords plus Refs, in any casing and with an optional colon, followed by
#N, GH-N, owner/repo#N or a github.com issue URL. Word boundaries keep it
strict: repo#N without an owner, fragments on other sites and keywords
glued to other text do not count.
Refs CryptOS-PKI/.github#5
Signed-off-by: Bugs5382 <12115015+Bugs5382@users.noreply.github.com>
Co-authored-by: Bugs5382 <12115015+Bugs5382@users.noreply.github.com>1 parent aad6451 commit f4b4945
1 file changed
Lines changed: 11 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
52 | 52 | | |
53 | 53 | | |
54 | 54 | | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
55 | 60 | | |
56 | 61 | | |
57 | | - | |
58 | | - | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
59 | 68 | | |
60 | 69 | | |
61 | 70 | | |
| |||
0 commit comments