On Mon, Sep 9, 2024 at 3:54 PM Andrew Dunstan <and...@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
