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. 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.
