>>>>> Tassilo Horn <t...@gnu.org> writes:
> 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?
Could this change be broadcast widely. I have been using git auctex for
years and was very surprised that the master branch is no longer used. I
then had to "waste" and hour or so hunting down the reason and a
solution.
