From: Johannes Schindelin Date: Wed, 12 Feb 2020 11:44:38 GMT Subject: Re: js/ci-squelch-doc-warning, was Re: What's cooking in git.git (Feb 2020, #02; Mon, 10) Message-ID: In-Reply-To: Hi Junio, On Tue, 11 Feb 2020, Junio C Hamano wrote: > Johannes Schindelin writes: > > > On Mon, 10 Feb 2020, Junio C Hamano wrote: > > > >> * js/ci-squelch-doc-warning (2020-02-10) 1 commit > >> - ci: ignore rubygems warning in the "Documentation" job > >> > >> Squelch unhelpful warning message during documentation build. > >> > >> Will merge to 'next'. > > > > To be clear, this _is_ a warning message, but the CI builds are _failing_ > > because of it (the "Documentation" job expects `stderr` to be clean except > > for some known warnings). > > > > As a consequence, all the PR builds at https://github.com/git/git are > > failing (except for PRs targeting `pu` or `next`, but I don't think that > > there are currently any). > > > > So maybe we could fast-track this change all the way into `maint`? > > Don't worry. As it only affects the doc builds and nothing else, > there is no need to rush, but unlike topics that update end-user > experience (for which, the minimum gestation periods are 1 day > outside 'next' and 7 days in 'next' before hitting 'master'), > obvious and trivial docfixes and developer support topics are > usually fast-tracked by often immediately hitting 'next' and > spending as few as 2 days in 'next'. I think this is one of these > topics. Excellent. Also, I noticed that you merged the `smuge` typo fix to `next` within a couple of hours of me contributing it; Thank you so much for that! Ciao, Dscho