#119 pijiul clone: Make the source the default remote
Closed on November 27, 2020
pmeunier on November 26, 2020
We’d need a name for it, how about source?
loewenheim on November 26, 2020
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.
pmeunier on November 26, 2020
You’re probably right. I forgot that default_remote could be a URL and not just a name, this is much simpler.
loewenheim added a change on November 26, 2020
VLPIKNFSMJXOG37QYRGUJC6YFMZXZUFDADQV4PYASKKDQOJ24MZAC main
loewenheim on November 26, 2020
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.
loewenheim added a change on November 26, 2020
R5TBI3EINICVUXDQE6RTNR3TIYY42FGFU4P3HHRKOMR2AMJ3OYXQC loewenheim added a change on November 27, 2020
clone: make source remote the default (with name "source") created on November 26, 2020
3XFYW6MYAQ5RKOS3XJZV4NKUO3JXMJMP5XZOJ3YFFMKCLPVQC7PAC pmeunier on November 27, 2020
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).
Thanks!
pmeunier closed this discussion on November 27, 2020
loewenheim on November 27, 2020
You’re welcome!
I think it would make sense to set the default remote for cloned repositories.