How to delete a Git branch both locally and remotely