On Thu, Jul 13, 2023 at 4:31 PM Junio C Hamano <gitster@xxxxxxxxx> wrote: > "D. Ben Knoble" <ben.knoble@xxxxxxxxx> writes: > > Bump: this bug seems to affect several GitGitGadget PRs in CI, which > > also renders GGG unusable for sending mail, IIUC. > > 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.
