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.