Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

02_github_web_edit_pr_title.md #1878

Merged
merged 2 commits into from
Mar 4, 2024
+6 −6
Merged

02_github_web_edit_pr_title.md #1878

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
f48f86b
Update 02_github_web_edit_pr_title.md
gannazhyrnova Mar 4, 2024
a9c7251
Update 02_github_web_edit_pr_title.md
sspencerwire Mar 4, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 6 additions & 6 deletions docs/gemstones/git/02_github_web_edit_pr_title.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
---
title: Editing or Changing the Title of an Existing Pull Request via github.com
author: Wale Soyinka
contributors:
contributors: Ganna Zhyrnova
tags:
- GitHub
- Pull Request
Expand All @@ -10,11 +10,11 @@ tags:

## 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.
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 better reflect the current changes or discussions.
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

Expand All @@ -27,12 +27,12 @@ Sometimes, there may be a need to modify the title of a PR after its creation to

1. **Navigate to the Pull Request**:
- Go to the repository where the PR is located.
- Click on 'Pull requests' and select the PR you want to edit.
- Click 'Pull requests' and select the PR you want to edit.

2. **Edit the PR Title**:
- Click on the title of the PR.
- An editable text box will appear.
- Modify the title as needed and press 'Enter' or click outside the text box to save changes.
- Modify the title, press ++enter++, or click outside the text box to save changes.

## Additional Information (Optional)

Expand All @@ -41,4 +41,4 @@ Sometimes, there may be a need to modify the title of a PR after its creation to

## Conclusion

By following these steps, you can easily change the title of an existing pull request in a GitHub repository, through the web interface.
Following these steps, you can easily change the title of an existing pull request in a GitHub repository through the web interface.
Loading