[sage-devel] Make ipympl a standard package

Hi Sage dev, In PR #36129 , which is devoted to the upgrade to Jupyter Notebook 7, we are proposing to make ipympl a standard package. ipympl is a pip-installable package that enables using the interactive features of

Re: [sage-devel] Make ipympl a standard package

On Sun, 17 Sept 2023, 16:14 Eric Gourgoulhon, wrote: > Hi Sage dev, > > In PR #36129 , which is > devoted to the upgrade to Jupyter Notebook 7, we are proposing to make > ipympl a standard package. > ipympl is a pip-ins

[sage-devel] Re: Synchronization of GitHub state and priority labels starts on Tuesday July 18th

For a case where it's not done cleanly, see https://github.com/sagemath/sage/pull/36020#issuecomment-1722629380 -- 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 s

[sage-devel] Re: Synchronization of GitHub state and priority labels starts on Tuesday July 18th

On Friday, September 8, 2023 at 5:47:30 PM UTC+9 seb@gmail.com wrote: > I think this is too verbose. In particular, the message "kwankyu requested changes for this PR" is redundant. >From the point of view of a developer familiar with Trac status labels, I agree. However, a key goal of th

[sage-devel] Re: Synchronization of GitHub state and priority labels starts on Tuesday July 18th

In a message of https://github.com/sagemath/sage/pull/36020#issuecomment-1722629380, please change to "state label" (or "status label" which I prefer) from "state-label". -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this

[sage-devel] Re: Synchronization of GitHub state and priority labels starts on Tuesday July 18th

See the comment in #36213 . Kwankyu Lee schrieb am Montag, 18. September 2023 um 03:03:26 UTC+2: > For a case where it's not done cleanly, see > > https://github.com/sagemath/sage

[sage-devel] Re: Synchronization of GitHub state and priority labels starts on Tuesday July 18th

Yes. This will be done in PR #36292 . Kwankyu Lee schrieb am Montag, 18. September 2023 um 03:07:14 UTC+2: > On Friday, September 8, 2023 at 5:47:30 PM UTC+9 seb@gmail.com wrote: > > > I think this is too verbose. In particular, the message "kwank

[sage-devel] Re: Synchronization of GitHub state and priority labels starts on Tuesday July 18th

I don't understand what you mean here. Can you please explain this in the new PR. Kwankyu Lee schrieb am Montag, 18. September 2023 um 03:17:50 UTC+2: > In a message of > https://github.com/sagemath/sage/pull/36020#issuecomment-1722629380, > please change to "state label" (or "status label" wh