From 6319fd17e73e0c9fa7c3d8f3ef8454079d08dcbb Mon Sep 17 00:00:00 2001 From: Ganna Zhyrnova <112796922+gannazhyrnova@users.noreply.github.com> Date: Wed, 13 Mar 2024 13:34:20 +0200 Subject: [PATCH] 02-gh_cli_edit_pr_title.md Grammar check --- docs/gemstones/git/02-gh_cli_edit_pr_title.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 f47f67f7a8..d05403a75b 100644 --- a/docs/gemstones/git/02-gh_cli_edit_pr_title.md +++ b/docs/gemstones/git/02-gh_cli_edit_pr_title.md @@ -15,7 +15,7 @@ This Gemstone explains how to edit or change the title of an existing pull reque ## 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. +Sometimes, the title of a PR after its creation may need to be modified to better reflect the current changes or discussions. ## Prerequisites