how to delete a git branch both locally and remotely