[git] Deleting a local branch with Git