On 2024-09-08 Su 11:35 PM, Tom Lane wrote:
> David Rowley <dgrowleyml@gmail.com> writes:
>> I think HEAD is commonly misused to mean master instead of the latest
>> commit of the current branch. I see the buildfarm even does that.
>> Thanks for getting that right in your blog post.
> IIRC, HEAD *was* the technically correct term back when we were
> using CVS. Old habits die hard.
>
>
Yeah. The reason we kept doing it that way in the buildfarm was that for
a period we actually had some animals using CVS and some using that
new-fangled git thing.
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.
cheers
andrew
--
Andrew Dunstan
EDB: https://www.enterprisedb.com
