After the conversation took place, changes were made and the peer review worked as expected, it's now time to finally merge the pull request.
If you don't have access to merge the pull request, you should see the following result:
On the other hand, owners or collaborators with write access can also merge pull requests. In this case, you should see the Merge pull request green button. Pressing this button will not merge it immediately, but you will have another chance to confirm:
The commit message of this merge is the one in bold, ...