...
Navigate to the techdocs repository.
Select “Pull requests.”
...
3. From the list of requests, select the specific pull request to merge.
...
4. Merge the commit(s) into the base branch by selecting “Merge pull request” (if this option is not shown, select “Create a merge commit” from the drop down menu)
...
5. If prompted, type a commit message.
6. Select “Confirm merge.”
...