On 10 April 2024 00:51:33 CEST, Matthias Koeppe <matthiaskoe...@gmail.com>
wrote:
>On Tuesday, April 9, 2024 at 3:28:27 PM UTC-7 Dima Pasechnik wrote:
>
>How about moving them out of the main Sage tree into separate repos, which
>can be accessed from the main tree as git submodules?
>
>
>That does not work.
>.github/workflows orchestrates what runs in the repo -- so it has to be in
>the repo.
>.devcontainer declares what is offered for the repo in GitHub -- so it has
>to be in the repo.
Then the other way around - have a CI/sage-distro repo (which can very well
have relaxed policies) with all that .github/ etc stuff needed for CI,
including a part of build/ - and checkout sagelib as a submodule.
The orchestration between the two repos looks doable.
>
--
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/E50C6018-FE63-4F0F-8938-231E7A492A91%40gmail.com.
