diff options
| author |  Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-10-21 10:08:56 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-10-22 13:32:29 +0900 |
| commit | ab3e1f78ae8ecb3371cf85a36d73fd341fad3884 (patch) | |
| tree | f3f00295b056fb346d5bbba0bcbe53ca7d3b6e3c /git-gui/po/glossary/git-gui-glossary.txt | |
| parent | revision.c: correct a parameter name (diff) | |
| download | tgif-ab3e1f78ae8ecb3371cf85a36d73fd341fad3884.tar.xz | |
revision.c: better error reporting on ref from different worktrees
Make use of the new ref aliases to pass refs from another worktree
around and access them from the current ref store instead. This does
not change any functionality, but when a problem arises, we would like
the reported messages to mention full ref aliases, like this:
fatal: bad object worktrees/ztemp/HEAD
warning: reflog of 'main-worktree/HEAD' references pruned commits
instead of
fatal: bad object HEAD
warning: reflog of 'HEAD' references pruned commits
which does not really tell where the refs are from.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/po/glossary/git-gui-glossary.txt')
0 files changed, 0 insertions, 0 deletions