Arash Esbati <ar...@gnu.org> writes: Hi Arash,
>> 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? Yes, before or after or never, whatever one prefers. >> Will do tomorrow! > > Thanks, I merged master to main, hopefully for the last time. The new auctex-13 branch is up but "master" is still there because savannah won't let be delete it. I guess it's protected which makes sense (well, until this point in time). I'll contact the admins. Bye, Tassilo