Cześć,
Musiałem dzis zminić nazwę brancha (remote i lokalnego)
Po kolei:
git branch -m new_name
lub
git branch -m old_name new_name
możecie sprawdzić czy jest ok:
git branch -a
teraz remote zmieniamy:
git push origin :old_name
git push origin new_name
i to wszystko…
dzięki, przydało się!