From: Jens Lidestrom <jens@xxxxxxxxxxxx> This is the term that is used in the official documentation. Instead of "HEAD branch" which in not standard. Signed-off-by: Jens Lidestrom <jens@xxxxxxxxxxxx> --- 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