On Mon, Jul 18, 2016 at 12:46 PM, Thierry <sage-googlesu...@lma.metelu.net> wrote: > 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.
Right, there's little hope of automating such a thing. Some people have to actually check the issue reports on GH and review them. Many will probably tend to be duplicates which can be closed quickly. I would just see it as an extension of the bug reports that come through sage-devel. If it were me, I'd be filtering them all into one bucket. Others, if they find GH issues to add too much noise, can ignore/unsubscribe from them. -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.