I created a branch on local git which worked on it successfully and committed to GitHub.
I am the only one working on this branch. The Jira name for which this branch is created is fine and spelled correctly. So basically the branch was named XYZ_ADDONDENTS as opposed to the correct spelling of XYZ_ADDONDETS. Therefore a redundant character "N" has been added. Everything is fine. Someone spotted the mistake and reminded me.
Now the question is what is the easiest way of renaming this branch at local and the corresponding branch it GitHub? Given that on the face of it, this is cosmetic and it is bound to happen again, is there a simple proven process to remedy it. The other alternative is to leave it as is and in the GitHub make a reference to the correct spelling of the branch. The reasoning would be that branches are temporal and should not matter what they ae called.
Appreciate any advice.