On Tuesday, September 20, 2022 at 10:23:38 AM UTC-7 erik....@gmail.com wrote:
> I'm late to discussion (also sorry for top-posting) but I don't see any > discussion of a middle ground where rather than "switching" starkly to > GitHub, just enabling issues and PRs on GitHub and see how it goes. > In this case, the middle ground is worse than either of the extremes. It has a larger maintenance & documentation burden than either of the extremes, and it creates fragmentation and confusion. -- 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 on the web visit https://groups.google.com/d/msgid/sage-devel/3f96491c-3bdf-4547-8290-2e0c656056b4n%40googlegroups.com.