Re: main vs master branch Lassi Kortela 06 Nov 2022 22:44 UTC

> However, it should be easy to make our tools work around what
> inconsistency we have.

I tried to write `srfi clone` so that it works with any default branch
name, but I couldn't find any easy way for git to do that.

Note that the command cannot be implemented using `git clone` since the
SRFI's directory may already have been unpacked from srfi.tgz.

The code:
https://github.com/scheme-requests-for-implementation/srfi-common/blob/16ccc0396a1ab862f8095984ff823186fd591ac7/srfi-tools/git.sld#L33