On Tue, May 31, 2016 at 6:03 PM, François Bissey < [email protected]> wrote:
> On 06/01/16 12:45, R. Andrew Ohana wrote: > >> On Tue, May 31, 2016 at 4:30 PM, François Bissey >> <[email protected] >> <mailto:[email protected]>> wrote: >> >> Well Andrew Ohana is the maintainer of "brial" but he doesn't have >> the time to take care of it apparently. >> >> >> I am not the maintainer, as per this >> < >> https://groups.google.com/forum/#%21searchin/sage-devel/polybori/sage-devel/9Uhnvm3wef8/kkGxWZ9QR0gJ >> > >> discussion or the ticket(s) attached to it, I expressly was not >> interested in being the maintainer (nor do I have any time now or in the >> foreseeable future to maintain it). However, despite that discussion no >> one stepped, and given that I think that it would be best to pursue the >> other path proposed in that discussion which was the removal of >> brial/polybori as a standard package (likely making it experimental >> given that it is unmaintained). >> > > Yes, sorry for the implication. I shouldn't have made it. > The reality is polybori/brial is connected very deeply > in sage and just removing it will be a lot of work. > If memory serves me from when I was looking into this last year, it is only deeply connected in a couple of relatively isolated components of Sage, so I don't think it would be as much work as you might expect. > If we want to remove it, we need a plan to scrub sage, > it has to be organised. > > In the mean time we'll need someone to bump things when > needed, a bit like sagenb. Andrew made it clear he wasn't > that person. > > Francois > > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" 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-release. > For more options, visit https://groups.google.com/d/optout. > -- Andrew -- You received this message because you are subscribed to the Google Groups "sage-release" 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-release. For more options, visit https://groups.google.com/d/optout.
