1 Commits

Author	SHA1	Message	Date
neon	a0477f0d0b	ci: track meaningful pull request inactivity ... Use human activity and observed head changes because GitHub can update PR timestamps without contributor activity. Audit every open PR before applying changes and start existing PRs from a safe baseline.	2026-09-26 15:48:02 +00:00