On Mon, Sep 9, 2024 at 3:54 PM Andrew Dunstan <andrew@dunslane.net> wrote:
> There are some serious obstacles to changing it all over, though. I
> don't want to rewrite all the history, for example.
Because of the way git works, that really wouldn't be an issue. We'd
just push the tip of the master branch to main and then start
committing to main and delete master. The history wouldn't change at
all, because in git, a branch is really just a movable pointer to a
commit. The commits themselves don't know that they're part of a
branch.
A lot of things would break, naturally. We'd still all have master
branches in our local repositories and somebody might accidentally try
to push one of those branches back to the upstream repository and the
buildfarm and lots of other tooling would get confused and it would
all be a mess for a while, but the history itself would not change.
--
Robert Haas
EDB: http://www.enterprisedb.com
