I created a branch named "javascript-checkpoint". Then I pushed that branch to GitHub.
Then I locally changed the name of "javascript-checkpoint" to "explore-checkpoints".
Then I did git push, thinking that would make it so that GitHub would show explore-checkpoints in place of javascript-checkpoint. But GitHub showed no branch named explore-checkpoints, only javascript-checkpoint. I then did 'git push origin explore-checkpoints', and git told me: * [new branch] explore-checkpoints -> explore-checkpoints So the branch was not on GitHub until I pushed it as a new branch. Now GitHub is showing javascript-checkpoint and explore-checkpoints as two separate branches. Locally, I have only explore-checkpoints. How do I make GitHub show the same?
I found a similar question ( Rename remote branch ) but the asker of that one is more concerned than I am with making it so others can still pull from his repository. I only care about making it so one other person can look at my code. I am the only person who edits code in this repository.