Few useful git commands

To delete the branch from remote:

 git push origin --delete <branchName> 

To delete the branch locally:

 git branch -D <branchName> 

For aborting the merge, follow the sequence:

1.  git merge --abort 

2.  git reset --merge 

To revert the last commit (which has not been pushed):

 git reset --soft HEAD^