On Tuesday, March 6, 2018 at 4:58:53 AM UTC-5, Jeroen Demeyer wrote:
>
> On 2018-03-06 00:29, Samuel Lelièvre wrote:
> > I opened a ticket to make JupyterLab a standard package:
> >
> > https://trac.sagemath.org/ticket/24904
> >
> > Any opinions?
>
> Shouldn't it be an optional package firs
Hi,
in #24655 I am working on docker images of Sage. One thing I am trying to
achieve is to make the images smaller than they currently are. (I am now at
577MB with all doctests passing.)
I assume that the `micro_release` target of our Makefile is meant for that
purpose: drop everything that i
On Tue, Mar 6, 2018 at 11:24 PM, Luca De Feo wrote:
>> No problem. And this was a mistake *I* made. This is a side-effect I
>> did not consider and might want to think more about how to prevent...
>
> GitHub forbids using an ssh key twice. It seems the only reasonable thing to
> do.
Yes, I'm add
