My Various Git Projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0222bc9 de5abe9)
Merge branch 'jk/chopped-ident' into maint
authorJunio C Hamano <gitster@pobox.com>
Fri, 26 Apr 2013 18:11:51 +0000 (11:11 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 26 Apr 2013 18:11:51 +0000 (11:11 -0700)
* jk/chopped-ident:
  blame: handle broken commit headers gracefully
  pretty: handle broken commit headers gracefully
  cat-file: print tags raw for "cat-file -p"


Trivial merge
The core git plumbing