I created a branch from master to work on a given feature.
git branch new_feature
git checkout new_feature
Then I finished the feature so I merged to master and deleted the branch:
git commit -m "Finished feature"
git push origin my_feature
git checkout master
git merge new_feature
git branch -d new_feature
Then I pushed to master:
git push origin master
The problem is that in the repository the branch new_feature still exists in the remote repo and I am not understanding why. How do I push an exact snapshot of my local repo to the remote repo?