Re: [BUG] echo HEAD | git cat-file --batch='' fails catastrophically

2013-12-11 Thread Jeff King
On Tue, Dec 10, 2013 at 11:37:14PM -0500, Samuel Bronson wrote: % echo HEAD | git cat-file --batch= fatal: object fde075cb72fc0773d8e8ca93d55a35d77bb6688b changed type!? Without the =, it works fine; with a string that has both %(objecttype) and %(objectsize), it's fine; but when you

[BUG] echo HEAD | git cat-file --batch='' fails catastrophically

2013-12-10 Thread Samuel Bronson
Observe: % echo HEAD | git cat-file --batch= fatal: object fde075cb72fc0773d8e8ca93d55a35d77bb6688b changed type!? Without the =, it works fine; with a string that has both %(objecttype) and %(objectsize), it's fine; but when you don't include both, it complains about one of the values that you