Re: git is live

Tom Tromey
2013-11-05T14:46:47Z

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