js/ci-squelch-doc-warning, was Re: What's cooking in git.git (Feb 2020, #02; Mon, 10)
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Feb 11, 2020, 23:39 UTC
- Message-ID
- <nycvar.QRO.7.76.6.2002120036570.3718@tvgsbejvaqbjf.bet>
- In-Reply-To
- <xmqqmu9qxej1.fsf@gitster-ct.c.googlers.com>
Hi Junio,
On Mon, 10 Feb 2020, Junio C Hamano wrote:
Show 6 quoted lines
> * 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`?
Thanks, Dscho