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

Reply via email to