On Mon, May 17, 2021 at 04:05:41PM -0500, Felipe Contreras wrote: > > >> Nobody uses "origin" (what does that even mean?), [...] > > > > > > I guess I'm "nobody" then, because I use it all the time. > > > > Oh, I'm nobody, too, and so are many others ;-) > > That depends on the definition of "many". My guess is that it's less > than 1% of users (probably 0.01%), and for me that's not many. > > If you google for `git remote "set-head"` there's barely any > information. It's basically all online man pages. Why would people need to use "git remote set-head" most of the time? The symlink is set up properly by git-clone, and has been for many years. For most people, using "origin" just works (the exception is people who "git init" and then "git remote add origin" themselves; since we're guessing at numbers, I would guess that _that_ population is less than 1% of users). -Peff