On Thu, Jul 13, 2023 at 4:43 PM Eric Sunshine <sunshine@xxxxxxxxxxxxxx> 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
