On Saturday, September 10, 2022 at 10:23:51 AM UTC-7 Marc Mezzarobba wrote:
> Matthias Koeppe wrote: > > I've added a draft of a proposed workflow on GitHub with the idea to > > just follow the Trac workflow. I should have said "... to the extent that makes sense." > In my eyes at least, it is a defect of our current workflow that tickets > are used for tracking both bugs and proposed enhancements. On git**b, > wouldn't it be more natural to use issues for, well, issues (that is, > bug reports, as opposed to bug *fixes* or enhancements) and pull > requests for proposed changes? > Yes, of course, and that's what I am documenting at https://github.com/sagemath/sage/wiki/migration-from-trac-to-Git**b -- 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/23f1c870-2742-4cab-8f25-fa65e0e382acn%40googlegroups.com.
