On Thursday, May 9, 2024 at 3:25:54 AM UTC+9 Matthias Koeppe wrote:
On Monday, May 6, 2024 at 10:49:07 PM UTC-7 Kwankyu Lee wrote:
I propose a governance change for a small part of the main Sage repository:
1. The directories *.ci, .devcontainer, .github/workflows*. [...]
2. The file
I've already said while the previous version of this was discussed, is
that it's a huge mess to have different commit rights for different
parts of the tree, and I proposed to spin the CI into a separate
repository, as an alternative which simplifies a lot of things.
Dima
On Wed, May 8, 2024 at
On Monday, May 6, 2024 at 10:49:07 PM UTC-7 Kwankyu Lee wrote:
I propose a governance change for a small part of the main Sage repository:
1. The directories *.ci, .devcontainer, .github/workflows*. [...]
2. The file *tox.ini*. [...]
3. The file
On Wednesday, May 8, 2024 at 6:20:52 AM UTC-7 julian...@fsfe.org wrote:
It was a bit unclear to me how your v2 proposal is different from the
initial proposal on this sage-devel thread. Maybe it's helpful to clarify
that build/bin/write-dockerfile.sh was removed from the proposal and
Hi Matthias,
It was a bit unclear to me how your v2 proposal is different from the
initial proposal on this sage-devel thread. Maybe it's helpful to clarify
that build/bin/write-dockerfile.sh was removed from the proposal and
src/doc/en/developer/portability_platform_table.rst was added.
