@@ -79,11 +79,11 @@ to enter the public source tree. Ask yourself the following questions:
7979 :ref: `what-s-new-and-news-entries `
8080
8181
82- Completing the pull request
83- ---------------------------
82+ Merging the pull request
83+ ------------------------
8484
85- Once the pull request is ready, you (the core team member) bring it into main .
86- If other people have been subtantially involved in the review, it can be good
85+ Once the pull request is ready, you (the core team member) can merge it .
86+ If other people have been substantially involved in the review, it can be good
8787to wait for their approval even if a core team member has already approved the
8888pull request.
8989
@@ -93,15 +93,15 @@ pull request.
9393Commit message
9494^^^^^^^^^^^^^^
9595
96- GitHub defaults the squased commit message to a combined list of all of the
96+ GitHub defaults the squashed commit message to a combined list of all of the
9797individual commit messages in the pull request. Do not leave those. They often
9898are too noisy and provide little context, especially since devs know their
99- worked will be eventually squashed, so intermediate commit messages while
99+ work will be eventually squashed, so intermediate commit messages while
100100working on the pull request are not interesting.
101101
102102If you think it is important, you can summarize the collaborative work that
103103went into the pull request, but it is not necessary. The pull request and/or
104- original issue are still available for detailed forensics .
104+ original issue are still available for detailed investigations of history .
105105
106106
107107Working with Git _
0 commit comments