I have a local and a remote Git repository.
- In my local repository I create and switch to a new branch: - git checkout -b feature/niceNewFeature
- I do my coding, - git add .,- git commitand- git pushmy- feature/niceNewFeaturebranch to the remote repository (e.g. GitHub).
- After this I create a GitHub Pull Request to merge - feature/niceNewFeaturebranch into- master- after the code is reviewed, I will do so.
- Since - feature/niceNewFeatureis now merged to- master, I will delete it on GitHub.
- However, in my local repository, feature/niceNewFeature branch is still listed if I execute - git branchcommand.
How do I remove feature/niceNewFeature branch from my local repository, since it is already merged to master and deleted from the remote repository?
