On Saturday, September 10, 2022 at 10:38:16 AM UTC-7 Marc Mezzarobba wrote:
> Matthias Koeppe wrote: > > Yes, of course, and that's what I am documenting > > at https://github.com/sagemath/sage/wiki/migration-from-trac-to-Git**b > > Sorry, apparently I misunderstood your proposal. > > I would suggest the following changes then: > > "Instead of opening a Trac ticket" > --> "To report a bug, instead of opening a Trac ticket" No, Issues are not just for bugs, they can also be used for planning enhancements. > ""Bug"/"Enhancement" is mapped to "Labels"" > --> "No "Bug"/"Enhancement" distinction (use pull requests to submit > enhancements)" > I'll edit to make it clearer what I intended to say there. -- 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/dfcff568-10ca-4845-b6a5-abd6d662b0een%40googlegroups.com.