I think it would make sense to set the default remote for cloned repositories.
Not that I disagree that it should have a name (and
source is a good choice IMO), but why does it need one? The URL could just be written into the config file verbatim.
You’re probably right. I forgot that
default_remote could be a URL and not just a name, this is much simpler.
The change I just pushed just adds the remote URL to the config file. It should not be significantly harder to add a new remote called
source with that URL and make it the default.
I prefer your first change, I think: the user can still change that afterwards, and my comments were only due to my misremembering of how things worked (even though I wrote them initially).