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