On Mon, Jul 18, 2016 at 10:12 AM, Samuel Lelievre <samuel.lelie...@gmail.com> wrote: > There is a bot (called sageb0t) that turns pull requests on GitHub into trac > tickets. > > It might be that the bot also closes pull requests when the corresponding > tickets > have been closed on trac and a new public release of Sage happens (github > pull > requests are typically against the master branch and public releases are > when > this branch gets updated). > > The bot is maintained by Robert Bradshaw, he might be able to comment more. > See https://wiki.sagemath.org/Infrastructure
Oh, I didn't know that! I was just thinking the other day that we should have such a thing. Good to see it's already done. 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. > Le dimanche 17 juillet 2016 23:06:37 UTC+2, Paul Masson a écrit : >> >> Thanks. >> >> Another question: who closes Issues and Pull Requests on Github that have >> been marked ready for closure? >> >> On Sunday, July 17, 2016 at 1:56:38 AM UTC-7, Volker Braun wrote: >>> >>> done >>> >>> On Saturday, July 16, 2016 at 11:19:21 PM UTC+2, Paul Masson wrote: >>>> >>>> The mirror actually has three branches. This one hasn't been touched in >>>> over a year: >>>> >>>> https://github.com/sagemath/sage/tree/module-list-cleanup >>>> >>>> Shouldn't it be removed at some point? >>>> >>>> On Wednesday, July 13, 2016 at 6:53:21 PM UTC-7, John Phamlore wrote: >>>>> >>>>> The mirror at >>>>> >>>>> https://github.com/sagemath/sage >>>>> >>>>> has only two branches, develop and master. Versions seem to be kept as >>>>> tags. >>>>> >>>>> However, editing sage.yaml of binary-pkg >>>>> >>>>> https://github.com/sagemath/binary-pkg >>>>> >>>>> does not work for tags. > > -- > 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. -- 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.