Question

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.

Answer 1

Is there any particular reason why simply deleting the “javascript-checkpoint” branch isn’t an option?

If you want to just delete the extra branch, simply run git push origin :javascript-checkpoint to delete the remote branch.