-1 on conducting a vote without any discussion of the matter.
On Wednesday, June 12, 2024 at 8:27:46 PM UTC-7 Travis Scrimshaw wrote:
> PR labels are being automatically added to roughly indicate their size.
> There are three options besides keeping the current behavior:
>
> (A1) Remove the auto
The vote is now
https://groups.google.com/g/sage-devel/c/3PLZD-4UFIA/m/bRgiaa11AQAJ
Although, again, the original adding of labels should have also had a
vote...
On Wednesday, June 12, 2024 at 11:05:16 AM UTC+9 Kwankyu Lee wrote:
You may want to take a second look. This article does not presc
PR labels are being automatically added to roughly indicate their size.
There are three options besides keeping the current behavior:
(A1) Remove the automatic adding of labels; the must be added manually
(like most other labels).
(A2) Have a "whitelist" of contributors who want to have this aut
I think there are two choices. One worked for me, just compile the last
develop version. For the other one, there are some PR that can be applied,
but I am not sure if it will work.
El martes, 11 de junio de 2024 a las 19:42:48 UTC+2, Todd Hesla escribió:
> Hi,
>
> I'm trying to build Sagemath
