Re: git does the wrong thing with ambiguous names

From: Brandon Casey <hidden>
Date: 2016-06-15 22:43:14

Didn't hit reply-all...

Brandon Casey wrote:
Alex Riesen wrote:
quoted
Alex Riesen, Thu, Jun 07, 2007 01:33:27 +0200:
quoted
Alex Riesen, Thu, Jun 07, 2007 00:58:26 +0200:
quoted
Brandon Casey, Thu, Jun 07, 2007 00:13:48 +0200:
[snip]
quoted
This one is much shorter and less friendly. Suggested by Junio on irc.
It makes checkout always prefer a branch.
diff --git a/git-checkout.sh b/git-checkout.sh
index 6b6facf..282c84f 100755
--- a/git-checkout.sh
+++ b/git-checkout.sh
@@ -67,6 +67,8 @@ while [ "$#" != "0" ]; do
             new_name="$arg"
             if git-show-ref --verify --quiet -- "refs/heads/$arg"
             then
+                rev=$(git-rev-parse --verify "refs/heads/$arg^0" 
2>/dev/null)
+                new="$rev"
                 branch="$arg"
             fi
         elif rev=$(git-rev-parse --verify "$arg^{tree}" 2>/dev/null)
This doesn't work.
sorry, scratch that. It does work.

Thunderbird turned $arg _hat_ 0 into $arg _superscript_ 0, which became
$arg0 when I copy/pasted. And I didn't catch it. Again, apologies.

I think this is the intuitive behavior, prefer branch over tag. though I
think a warning or refusal to switch would be better (but more
complicated, and I don't know how to do it).

A quick run through of some other porcelain commands shows they prefer tag:
git log
git show
git diff

-brandon
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help