Re: [PATCH 2/2] ci: make the "skip-if-redundant" check more defensive
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 12, 2020, 19:29 UTC
- 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.