Re: git is live

H.J. Lu
2013-11-06T17:02:59Z

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.