On pull request workflows for the GNU toolchain

[Sam James]

Carlos O'Donell <carlos@redhat.com> writes:

> On 9/19/24 11:51 AM, Joseph Myers wrote:
>> 1. Introduction
>
> Thanks for writing this up!
>
> [...]
> Agreed.
>

I just want to say the same. My sentiments match Carlos.