Skip to content

Commit f07054d

Browse files
TrottFishrock123
authored andcommitted
doc: add optional step to onboarding doc
Include information on how to force push to the contributor's own branch so that pull requests show as merged in GitHub interface. PR-URL: #8774 Reviewed-By: Robert Jefe Lindstaedt <robert.lindstaedt@gmail.com> Reviewed-By: Anna Henningsen <anna@addaleax.net> Reviewed-By: Michaël Zasso <targos@protonmail.com> Reviewed-By: Johan Bergstrom <bugs@bergstroem.nu> Reviewed-By: Ilkka Myller <ilkka.myller@nodefield.com> Reviewed-By: James M Snell <jasnell@gmail.com>
1 parent af84528 commit f07054d

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

doc/onboarding.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -184,6 +184,7 @@ Landing a PR
184184
* This will automatically close the PR when the commit lands in master.
185185
* `Refs: <full-url>`
186186
* Full URL of material that might provide additional useful information or context to someone trying to understand the change set or the thinking behind it.
187+
* Optional: Force push the amended commit to the branch you used to open the pull request. If your branch is called `bugfix`, then the command would be `git push --force-with-lease origin master:bugfix`. When the pull request is closed, this will cause the pull request to show the purple merged status rather than the red closed status that is usually used for pull requests that weren't merged. Only do this when landing your own contributions.
187188
* `git push upstream master`
188189
* Close the pull request with a "Landed in `<commit hash>`" comment.
189190

0 commit comments

Comments
 (0)