Don't know, possibly nobody On Sunday, July 17, 2016 at 11:06:37 PM UTC+2, Paul Masson wrote: > > 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.
