On Mon, Sep 9, 2024 at 1:03 PM Andrew Dunstan <and...@dunslane.net> wrote: > I guess I could try to write code to migrate everything, but it would be > somewhat fragile. And what would we do if we ever decided to migrate > "master" to another name like "main"? I do at least have code ready for > that eventuality, but it would (currently) still keep the visible name > of HEAD.
Personally, I think using HEAD to mean master is really confusing. In git, master is a branch name, and HEAD is the tip of some branch, or the random commit you've checked out that isn't even a branch. I know that's not how it worked in CVS, but CVS was a very long time ago. If we rename master to main or devel or something, we'll have to adjust the way we speak again, but that's not a reason to keep using the wrong terminology for the way things are now. -- Robert Haas EDB: http://www.enterprisedb.com
