Branch protection is on, but currently admins can bypass it. This can be
tightened in the config here if so desired:
https://github.com/sagemath/sage/settings/branch_protection_rules/33965567
On Sunday, February 26, 2023 at 12:36:42 PM UTC-8 Volker Braun wrote:
> I agree that we should turn on
Yes, the failure "cannot load Singular library" is caused by a missing
sage-conf.
I have also noticed sage-conf disappearing once in a while, but it's hard
to reproduce. I think this is a race related to legacy editable installs
("setup.py develop"); I'll investigate. The proper fix is describe
I'm noticing some random breakage with incremental builds, e.g. today in
this incremental build
(http://build.sagemath.org/#/builders/40/builds/59/steps/9/logs/stdio)
the sage-conf package gets removed and then the installation crashed. I
then re-ran exactly the same incremental build and it su
On Sun, Feb 26, 2023 at 4:29 PM Vincent Delecroix
<20100.delecr...@gmail.com> wrote:
>
> In other words, everytime you got confused we will have a develop
> branch not aligned with the most recent tag and a bunch of extra
> commits cancelling each other?
I don't think I really can constructively r
I agree that we should turn on branch protection, it is rather easy to
accidentally push to develop.
Its also not ok to push what you think is a CI fix without it going to
review, we had some irregularities to support the github transition but
that is over now.
On Sunday, February 26, 2023
In other words, everytime you got confused we will have a develop
branch not aligned with the most recent tag and a bunch of extra
commits cancelling each other?
On Sun, 26 Feb 2023 at 16:46, Dima Pasechnik wrote:
>
> sometimes Volker misses things which make CI break, and such a release is
> pr
sometimes Volker misses things which make CI break, and such a release is
pretty much useless, in the sense that you can't gauge anything from the CI
results on PRs made on top of it. Or an important CI or other
infrastructure improvement doesn't make it into the release.
In previous release cycle
I do not understand why develop isn't protected against anybody but
the release manager pushes.
On Sun, 26 Feb 2023 at 11:16, Dima Pasechnik wrote:
>
> it was a mistake on my side - I thought develop branch was broken, but it was
> not.
>
> On Sun, 26 Feb 2023, 10:13 Vincent Delecroix, <20100.de
it was a mistake on my side - I thought develop branch was broken, but it
was not.
On Sun, 26 Feb 2023, 10:13 Vincent Delecroix, <20100.delecr...@gmail.com>
wrote:
> Hello,
>
> Why do we have commits on top of develop after the release commits? Namely
>
> commit 52a81cbd161ef4d5895325657c88a68590
Hello,
Why do we have commits on top of develop after the release commits? Namely
commit 52a81cbd161ef4d5895325657c88a68590ea1d3b
Author: Dima Pasechnik
Date: Fri Feb 24 21:15:42 2023 +
Revert "add missing # optional - gap3"
This reverts commit c017a6a3d68f0aca8cb63ceba52fe451a64
10 matches
Mail list logo
