From: Jens Lidestrom via GitGitGadget Date: Tue, 27 Jun 2023 14:41:17 GMT Subject: [PATCH 2/9] gitk: use term "current branch" in gui Message-ID: <863fa3ee311482c990f396a7d5298a12c159e0ef.1687876885.git.gitgitgadget@gmail.com> In-Reply-To: From: Jens Lidestrom This is the term that is used in the official documentation. Instead of "HEAD branch" which in not standard. Signed-off-by: Jens Lidestrom --- gitk-git/gitk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gitk-git/gitk b/gitk-git/gitk index a533ff9002e..574a80fbcc2 100755 --- a/gitk-git/gitk +++ b/gitk-git/gitk @@ -2693,7 +2693,7 @@ proc makewindow {} { {mc "Write commit to file" command writecommit} {mc "Create new branch" command mkbranch} {mc "Cherry-pick this commit" command cherrypick} - {mc "Reset HEAD branch to here" command resethead} + {mc "Reset current branch to here" command resethead} {mc "Mark this commit" command markhere} {mc "Return to mark" command gotomark} {mc "Find descendant of this and mark" command find_common_desc} -- gitgitgadget