From: D. Ben Knoble <ben.knoble@gmail.com>
Date: Thu, 13 Jul 2023 21:44:18 GMT
Subject: Re: t2400 on freebsd12
Message-ID: <CALnO6CAFC23b2NYCsfcuuR3cHnLy2vm_vZbjDEEBP+nDFurXSw@mail.gmail.com>
In-Reply-To: <CAPig+cQvr-HuJBQsjt0jW0G95SmyzTc74R6JiznNeKbHmfu9PQ@mail.gmail.com>

On Thu, Jul 13, 2023 at 4:43 PM Eric Sunshine <sunshine@sunshineco.com> wrote:
> > By the way, is this really "blocking" use of GGG in any way?  I do
> > recall seeing messages regarding gitk from Jens Lidestrom that are
> > shown in https://github.com/gitgitgadget/git/pull/1551 but the CI
> > run report at the end of that page does have a failing CirrusCI.
>
> Failed CI doesn't block GGG (at least not last time I used it). You
> can "/submit" the pull request to the Git mailing list even if CI
> failed or is not yet finished running.

Hm, I thought I recalled that it did, but I will try again. Thanks for
the attention.

-- 
D. Ben Knoble