Hi, On Mon, Jul 18, 2016 at 12:17:48PM +0200, Erik Bray wrote: [...] > Additionally, I think we should allow issues (without code) to be > posted on GitHub, and have an easy way to convert a GitHub issue to a > Trac ticket. I don't think it should be done for all issues, but > rather use GitHub as the "user-facing" issue tracker, while Trac is > the developer-facing issue tracker. So a one-click way to make a Trac > ticket from a GitHub issue could be useful.
Why not. Though it will require some human work to select and incorporate valid issues for the long term and in a regular basis. This is the main problem that has to be solved, beyond writing an interface. Indeed, we used to have a google spreadsheet to report bugs, that was just rotting, see e.g. https://groups.google.com/forum/?fromgroups#!searchin/sage-devel/google$20bug$20report/sage-devel/FvxgKfI9CZU/MhfiZBJQJ3IJ https://groups.google.com/forum/?fromgroups#!searchin/sage-devel/google$20bug$20report/sage-devel/EX4OYOlZqPI/meYYOuV-GXEJ Note that ask also plays a role of bug reporting, see the confirmed_bug and fixed_bug tags: http://ask.sagemath.org/questions/scope:all/sort:activity-desc/tags:confirmed_bug/page:1/ http://ask.sagemath.org/questions/scope:all/sort:activity-desc/tags:fixed_bug/page:1/ It is unfortunately absolutely not automated, but it works pretty well, due to the fact that some developers get connected frequently. Ciao, Thierry -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
