Just putting stuff I find out over here, so I can remember and find them more easily.
Here's how to rename a GIT branch from Windows Explorer. This assumes GIT is installed on the computer.
git branch -m "{new name}"
git push origin :"{old name}" "{new name}"
git push origin -u "{new name}"