add tip to delete any existing branch with the same name

IBM · Sep 10, 2024 · 00dd509 · 00dd509
1 parent cf3a78c
commit 00dd509
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/vllm_odh.md b/vllm_odh.md
@@ -45,6 +45,7 @@ git commit -s --amend # To sign-off the merge commit.
 Fetch the specific PR that needs to be merged into your branch.
 ```bash
 export PR_NUMBER=<PR-number>
+git branch -D ${PR_NUMBER} # Ensure any existing branch with the same name is deleted
 git fetch upstream pull/${PR_NUMBER}/head:${PR_NUMBER}
 ```