Merge a pull request

Merge a pull request using the web UI.

Merging is the final step in collaborating on a pull request, signifying that the proposed changes are accepted. On merging, the changes from the head (proposed) branch are merged into the base branch/ main codebase.

Follow these steps to merge a pull request on Protocol.Land:

1. Navigate to the Pull Requests tab on the main page of the repository.

2. By default, the list of open pull requests are displayed.

3. Click on the pull request you wish to merge from the list.

4. You will be redirected to the main page of the pull request.

5. Click “Merge pull request” located at the bottom of the pull request timeline on the main page of the pull request.

6. The changes from the compared head branch are then applied to the base branch.

7. The status of the pull request is set to “merged” and it is moved to the list of closed pull requests.

8. The pull request timeline on the "Overview" tab is updated with the details of the merge.