Maybe the forge list initially, but eventually there will need to be wider agreement that it's ok to automate merging commits from this repo to the real one.
-- https://forge.sourceware.org/gcc/gcc-wwwdocs/pulls/3#issuecomment-7542
Jonathan Wakely via Sourceware Forge Mon, 21 Sep 2026 11:17:56 -0700
Maybe the forge list initially, but eventually there will need to be wider agreement that it's ok to automate merging commits from this repo to the real one.
-- https://forge.sourceware.org/gcc/gcc-wwwdocs/pulls/3#issuecomment-7542