From 86e1b72ad3f88ba40235fca50326336e6cf54449 Mon Sep 17 00:00:00 2001 From: Ganna Zhyrnova <112796922+gannazhyrnova@users.noreply.github.com> Date: Mon, 4 Mar 2024 21:32:02 +0200 Subject: [PATCH] Update 02-gh_cli_edit_pr_title.md Grammar check --- docs/gemstones/git/02-gh_cli_edit_pr_title.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/gemstones/git/02-gh_cli_edit_pr_title.md b/docs/gemstones/git/02-gh_cli_edit_pr_title.md index ca391fea0a..f47f67f7a8 100644 --- a/docs/gemstones/git/02-gh_cli_edit_pr_title.md +++ b/docs/gemstones/git/02-gh_cli_edit_pr_title.md @@ -1,7 +1,7 @@ --- title: Editing or Changing the Title of an Existing Pull Request via CLI author: Wale Soyinka -contributors: +contributors: Ganna Zhyrnova tags: - GitHub - Pull Request @@ -11,11 +11,11 @@ tags: ## Introduction -This Gemstone explains how to edit or change the title of an existing pull request (PR) in a GitHub repository, using both the GitHub web interface and CLI. +This Gemstone explains how to edit or change the title of an existing pull request (PR) in a GitHub repository using both the GitHub web interface and CLI. ## 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 @@ -46,4 +46,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 GitHub CLI tool (gh). +Following these steps, you can easily change the title of an existing pull request in a GitHub repository through the GitHub CLI tool (gh).