On Wed, Jan 22, 2025 at 9:48 AM kcrisman <kcris...@gmail.com> wrote: > > This would be a change in (perhaps not official) policy from Trac. > Since PRs are separated from issues on GH (which wasn't really the case on > Trac), a change might make sense. However, my opinion (for whatever it's > worth) is that this is not really necessary, and could lead to useful code > being completely abandoned, in practice.
A PR where the author went AWOL (or worse) do clutter, and there is little harm in closing these with an appropriate tag - as long as the branch (pull/<PR number>/head) is not removed, no data/code is lost. I'd say 6 or 9 months is probably a sufficient period of inactivity to declare a PR abandoned, Dima > There were many instances in the past where partial fixes/new functionality > was finished over a period of months and years in precisely this way (and > that could still work as long as the original issue has a clear link to the > unfinished PR). Maybe the GH UI is just cluttered in general! (I'm aware > this may be a minority opinion.) > > -- > 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/d2262ac0-a84e-49d1-b6d1-efe28ac27791n%40googlegroups.com. -- 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/CAAWYfq2%2BfREho5--QvTL8kx%2BEae5CY_7nfaK2ejUzund10%3DoRg%40mail.gmail.com.
