Andrew's git / gitweb.git / diff
?
Merge branch 'jc/name' into next
authorJunio C Hamano <junkio@cox.net>
Tue, 21 Mar 2006 10:04:46 +0000 (02:04 -0800)
committerJunio C Hamano <junkio@cox.net>
Tue, 21 Mar 2006 10:04:46 +0000 (02:04 -0800)
* jc/name:
get_sha1_basic(): try refs/... and finally refs/remotes/$foo/HEAD

Trivial merge