Re: [PING] Re: [PATCH] Add files to discourage submissions of PRs to the GitHub mirror.

On Wed, Nov 1, 2023 at 7:25 PM Eric Gallager wrote: > > On Wed, Nov 1, 2023 at 11:31 AM Jeff Law wrote: > > > > > > > > On 11/1/23 08:11, Eric Gallager wrote: > > > Hi, I'd like to ping the following patch: > > > > > > https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633191.html > > OK for

Re: [PING] Re: [PATCH] Add files to discourage submissions of PRs to the GitHub mirror.

On Wed, Nov 1, 2023 at 11:31 AM Jeff Law wrote: > > > > On 11/1/23 08:11, Eric Gallager wrote: > > Hi, I'd like to ping the following patch: > > > > https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633191.html > OK for the trunk. > Thanks, committed as r14-5064-g2b9778c8d9d331: https://gcc.

Re: [PING] Re: [PATCH] Add files to discourage submissions of PRs to the GitHub mirror.

On 11/1/23 08:11, Eric Gallager wrote: Hi, I'd like to ping the following patch: https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633191.html OK for the trunk. jeff

[PING] Re: [PATCH] Add files to discourage submissions of PRs to the GitHub mirror.

Hi, I'd like to ping the following patch: https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633191.html On Mon, Oct 16, 2023 at 8:50 PM Eric Gallager wrote: > > On Mon, Oct 16, 2023 at 7:58 PM Andrew Pinski wrote: > > > > On Mon, Oct 16, 2023, 16:39 Eric Gallager wrote: > >> > >> Currentl