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 *tox.ini*. [...] 3. The file *src/doc/en/developer/portability_platform_table.rst *(which I update using "tox -e update_docker_platforms"). I think we should restrict the scope to the files and directories strictly in the CI infrastructure. Anything under `*src/*` should be excluded. This file *src/doc/en/developer/portability_platform_table.rst* is part of the documentation of the CI infrastructure and needs to be updated (by script) whenever I make changes to the tested platforms. The command "tox -e update_docker_platforms" involves a change of the list of tested platforms. The change become effective when a beta release is made by the release manager, since the docker image files are created only at the release time. So there is no need to merge early the change to the develop branch. On the other hand, is it an unnecessary friction that changes of the list of tested platforms go through the normal review process? If the answer is no, then *.devcontainer *and *src/doc/en/developer/portability_platform_table.rst *can be excluded from the CI manager governance. -- 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/569da4a5-af4d-4df4-be36-6092be31e9dcn%40googlegroups.com.
