Skip to content

Commit 0bfaed8

Browse files
committed
[Docs][Github] Say '--delete-branch' instead of '--delete' and '--delete branch'
The documentation for how to use "gh pr merge" was broken. In one place it said '--delete-branch' (which seem to be correct for that option). But in second place it said '--delete branch' and in a third place it just said '--delete'. Make sure '--delete-branch' is used in all three places.
1 parent 0a5d52a commit 0bfaed8

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

llvm/docs/GitHub.rst

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -156,7 +156,7 @@ merge:
156156
::
157157

158158
git push -f
159-
gh pr merge --squash --delete branch
159+
gh pr merge --squash --delete-branch
160160

161161
This force push may ask if you intend to push hundreds, or potentially
162162
thousands of patches (depending on how long it's been since your pull request
@@ -248,7 +248,7 @@ checks:
248248
git push origin my_change -f
249249

250250
# Now merge it
251-
gh pr merge --squash --delete
251+
gh pr merge --squash --delete-branch
252252

253253

254254
See more in-depth information about how to contribute in the following documentation:

0 commit comments

Comments
 (0)