From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 09 Jun 2022 23:56:05 GMT
Subject: Re: [PATCH 0/2] ci(GitHub): mark up compile errors, too
Message-ID: <xmqqbkv1gzmy.fsf@gitster.g>
In-Reply-To: <pull.1253.git.1654774347.gitgitgadget@gmail.com>

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

> Just like we mark up test failures, it makes sense to mark up compile
> errors, too.
>
> In a sense, it makes even more sense with compile errors than with test
> failures because we can link directly to the corresponding source code in

Absolutely ;-).