On Tuesday, April 9, 2024 at 3:36:32 PM UTC-7 Kwankyu Lee wrote: 1. The directories *.ci, .devcontainer, .github/workflows*. These are special directories that control the GitHub workflows that run for example on pull requests and when release tags are pushed. 2. The files *tox.ini* and *build/bin/write-dockerfile.sh*. They contain the infrastructure for portability testing of the Sage distribution ( https://doc.sagemath.org/html/en/developer/portability_testing.html).
*build/bin/write-dockerfile.sh* could be moved into *.ci* Yes, that's a plausible change. (But it might also be moved along with the top-level *tox.ini* as part of making sage-bootstrap a pip-installable package; https://github.com/sagemath/sage/issues/31662) -- 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/9d6e0c50-577c-4e7d-a99e-a8a4e9ee78ben%40googlegroups.com.