Tassilo Horn <t...@gnu.org> writes: > I can rename master to auctex-13 which is actually a deletion of master > and pushing of a new branch auctex-13 which is identical to the old > master. Then everybody who has a checkout of master will have to run > "git branch --set-upstream-to=auctex-13 master" so that his local master > branch tracks auctex-13. Not sure if that's actually needed because > that branch won't get any updates anyway. But it would get rid of the > error on "git pull" that origin/master is gone...
One could also do "git branch -m master auctex-13" to track the name change locally before the "--set-upstream-to" part, right? > Will do tomorrow! Thanks, I merged master to main, hopefully for the last time. Best, Arash