On 2024-09-09 Mo 3:54 PM, Andrew Dunstan wrote:
On 2024-09-09 Mo 1:19 PM, Robert Haas wrote:
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.
There are some serious obstacles to changing it all over, though. I
don't want to rewrite all the history, for example.
What we could do relatively simply is change what is seen publicly.
e.g. we could rewrite the status page to read "Branch: master". We
could also change URLs we generate to use master instead of HEAD (and
change it back when processing the URLs. And so on.
I've done this. Nothing in the client or the database has changed, but
the fact that we refer to "master" as "HEAD" is pretty much hidden now
from the web app and the emails it sends out. That should help lessen
any confusion in casual viewers.
Comments welcome. I don't think I have missed anything but it's always
possible.
cheers
andrew
--
Andrew Dunstan
EDB: https://www.enterprisedb.com
