Matthias Koeppe wrote: > I've added a draft of a proposed workflow on GitHub with the idea to > just follow the Trac workflow.
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? -- Marc Mezzarobba -- 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/tfih6s%24mf9%241%40ciao.gmane.io.