6 commits

Author	SHA1	Message	Date
Jeremiah Lowin	e108bc539e	Clarify auto-closed PR message (#4820)	2026-08-11 13:55:48 -04:00
Jeremiah Lowin	a3163bc275	Add 'prs welcome' label to waive the PR assignment gate (#4557) ... * Add 'prs welcome' label to waive the PR assignment gate Also documents contributor accountability, maintainer edit access, and branch targeting in CONTRIBUTING. * Protect 'prs welcome' from prompt-injected triage labeling	2026-07-19 20:37:40 -04:00
Jeremiah Lowin	a3ecd1edb1	Clarify PR-reopen flow and fix label-race that broke auto-reopen (#4518) ... Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com> Co-authored-by: Claude <noreply@anthropic.com>	2026-07-17 17:43:05 -04:00
Jeremiah Lowin	d7730788fa	Recognize all GitHub issue-link forms in require-issue-link workflow (#4359)	2026-06-24 10:28:36 -04:00
Jeremiah Lowin	fd4d24ff62	Guard require-issue-link check job to pull_request_target events (#4209)	2026-05-22 18:43:46 -04:00
Bill Easton	d3ff774c78	ci: require external PRs to link a tracked issue (#4173) ... Co-authored-by: Jeremiah Lowin <153965+jlowin@users.noreply.github.com>	2026-05-20 08:43:52 -04:00