Zum Inhalt

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

  1. Navigate to the Pull Request:
  2. Go to the repository where the PR is located.

  3. Click 'Pull requests' and select the PR you want to edit.

  4. Edit the PR Title:

  5. Click on the title of the PR.
  6. An editable text box will appear.
  7. 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