From f48f86bcf27bf13438a43189bc06e73d0f97101c Mon Sep 17 00:00:00 2001 From: Ganna Zhyrnova <112796922+gannazhyrnova@users.noreply.github.com> Date: Mon, 4 Mar 2024 21:34:44 +0200 Subject: [PATCH 1/2] Update 02_github_web_edit_pr_title.md Grammar check --- docs/gemstones/git/02_github_web_edit_pr_title.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/gemstones/git/02_github_web_edit_pr_title.md b/docs/gemstones/git/02_github_web_edit_pr_title.md index 6834f0a0f0..7be352c3b2 100644 --- a/docs/gemstones/git/02_github_web_edit_pr_title.md +++ b/docs/gemstones/git/02_github_web_edit_pr_title.md @@ -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 @@ -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 @@ -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) @@ -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. From a9c72512d18148ddf7382533a4b729e39d79fd4a Mon Sep 17 00:00:00 2001 From: sspencerwire Date: Mon, 4 Mar 2024 15:27:54 -0600 Subject: [PATCH 2/2] Update 02_github_web_edit_pr_title.md add markdown keyboard for ENTER --- docs/gemstones/git/02_github_web_edit_pr_title.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/gemstones/git/02_github_web_edit_pr_title.md b/docs/gemstones/git/02_github_web_edit_pr_title.md index 7be352c3b2..9e23197c59 100644 --- a/docs/gemstones/git/02_github_web_edit_pr_title.md +++ b/docs/gemstones/git/02_github_web_edit_pr_title.md @@ -32,7 +32,7 @@ Sometimes, there may be a need to modify the title of a PR after its creation to 2. **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. + - Modify the title, press ++enter++, or click outside the text box to save changes. ## Additional Information (Optional)