Close a pull request

Close a pull request using the web UI.

Closing a pull request typically occurs when the proposed changes are no longer needed or if it was decided to not proceed with the merge. Follow these steps to close a pull request on Protocol.Land:

Note: Closing a pull request doesn't delete the branch or changes; it simply marks the pull request as closed. This allows you to revisit the branch later if needed.

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 close from the list.

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

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

6. The status of the pull request is set to closed and it is moved to the list of closed pull requests.

7. The pull request timeline on the "Overview" tab is updated with the status update.