tips
tips copied to clipboard
Incorrect tip "Delete remote branch"
git branch -dr <remote/branch>
This does not actually delete the branch on the remote as the other two commands this is listed as an alternative for do.