>Same for PRs, we have some really old ones. What is a good cutoff? 6 months? I would start with «6 months without any updates except non-submitter pings and the submitter now has commit rights»