Editing or Changing the Title of an Existing Pull Request via github.com
Introduction¶
This guide explains how to edit or change the title of an existing pull request (PR) in a GitHub repository using the GitHub web interface.
Problem Description¶
Sometimes, there may be a need to modify the title of a PR after its creation to reflect the current changes or discussions better.
Prerequisites¶
- An existing GitHub pull request.
- Access to GitHub web interface or CLI with necessary permissions.
Procedure¶
Using the GitHub Web Interface¶
- Navigate to the Pull Request:
- Go to the repository where the PR is located.
-
Click 'Pull requests' and select the PR you want to edit.
-
Edit the PR Title:
- Click on the title of the PR.
- An editable text box will appear.
- Modify the title, press Enter, or click outside the text box to save changes.
Additional Information (Optional)¶
- Editing a PR title will not affect its discussion thread or code changes.
- It's considered good practice to inform collaborators if significant changes are made to a PR title.
Conclusion¶
Following these steps, you can easily change the title of an existing pull request in a GitHub repository through the web interface.
Author: Wale Soyinka
Contributors: Ganna Zhyrnova