On Thu, Mar 14, 2019 at 6:28 AM Lassi Kortela <xxxxxx@lassi.io> wrote:

Git subtree ought to be great for editing the SRFIs. We can have
individual SRFI repos as subtrees of the combined repo, edit and commit
in the combined repo, then split off the right commits to the origin
repos easily when the time is right.

I hadn't heard of git subtree. I will take a look.

I'm generally in favor of using Git-based tools, especially if they're free software.