GIT – FAQ
Git: Delete a branch (local or remote) To delete a local branch git branch -d the_local_branch To remove a remote branch (if you know what you are doing!) git push origin –delete the_remote_branch Sync git fetch -p The git manual says -p, –prune After fetching, remove any remote-tracking branches which no longer exist on the […]