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* -- 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/9d23b720-8f2d-41ac-bbcd-62ad2f38c8bcn%40googlegroups.com.
