git is live

[H.J. Lu]

On Tue, Nov 5, 2013 at 6:46 AM, Tom Tromey <tromey@redhat.com> wrote:
> Tom> I'm looking into the bug.
>
> I checked in a patch which should fix at least the second instance and
> the "dirname" thing.  I made post-receive-email only use the fallback
> list for branch creation and deletion, which seemed reasonable to me.
>
> Tom

Another problem.  Checkin no longer shows up in bug report:

https://sourceware.org/bugzilla/show_bug.cgi?id=16130

-- 
H.J.