Per Volker's
message https://groups.google.com/g/sage-release/c/kRw2-5s399U, only PRs
will be merged from now on.
I have relabeled all issues (migrated from tickets) that were in "needs
review" status to "needs work".
The work = merge current upstream/develop and create a PR.
On Saturday, Febr
On Mon, Feb 13, 2023 at 1:29 PM Frédéric Chapoton
wrote:
> Hello,
> following the recent major changes to our workflow, I will soon turn off
> the "patchbot server" machine. This will have the side effect of breaking
> the round "patchbot report" icons in the frozen trac website.
>
these icons a
Hello,
following the recent major changes to our workflow, I will soon turn off
the "patchbot server" machine. This will have the side effect of breaking
the round "patchbot report" icons in the frozen trac website.
To people running "patchbot clients", please stop your machines. You may
want to
Hi,
I've been seeing these failures for a while when running the doctests. It
is not reproducible when testing the file standalone, only when testing the
full sage library, which makes it really hard to debug. Has anybody seen
this or has any idea how to fix it?
***
