Tassilo Horn <t...@gnu.org> writes: > 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.
Done, master is gone. So now everybody who has a master branch checked out tracking origin/master, please do # Make sure you have the remote auctex-13 branch git fetch origin # Rename your local master branch to auctex-13 git branch -m master auctex-13 # Make your local auctex-13 branch track upstream auctex-13 git branch --set-upstream-to=origin/auctex-13 auctex-13 Bye, Tassilo
