From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 12 Oct 2020 19:29:52 GMT
Subject: Re: [PATCH 2/2] ci: make the "skip-if-redundant" check more defensive
Message-ID: <xmqq7drvp7in.fsf@gitster.c.googlers.com>
In-Reply-To: <5c889e487d344efd1a0eb0cb5b717375de450c89.1602451631.git.gitgitgadget@gmail.com>

"Johannes Schindelin via GitGitGadget" <gitgitgadget@gmail.com>
writes:

> Let's be even more defensive by catching all kinds of exceptions,
> logging them as warnings, and continue the run without skipping it
> (after all, if the check fails, we _want_ to continue with the run).

Yeah, looks sensible.