As a comparision, in void-packages there is the following policy: - an issue (or PR) with 90 days of inactivity is labeled "stale" and will send a notification. - any activity in the issue will reset the "stale" label, so an author can just make a status report on receipt of the notification to keep the issue open - after 14 days "stale", the issue is closed - author (or maintainer?) can reopen the issue. However: note that github does not allow reopening a PR *unless* the corresponding branch points to the exact same commit as when the PR was closed, so this is sometimes tricky.
Implementing this seems easy, see: https://github.com/void-linux/void-packages/blob/master/.github/workflows/stale.yml There can be certain labels which make the issue exempt from the stale check. Best, Gonzalo -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/e11f448f7ff6bf66412d2288c6ca11e6%40cmat.edu.uy.
