I have seen lots of people struggling to delete a git branch from the local and the remote repository. Here is a quick guide to delete your branch in such a way.
git push -d <remote_name> <branch_name>
git branch -d <branch_name>
In most cases the remote name is
origin. In such a case you'll have to use…