@redi wrote in https://forge.sourceware.org/gcc/gcc-wwwdocs/pulls/3#issuecomment-7533:
> Nobody should be merging pull requests here anyway, the master branch here is > a read only mirror of the real repo. Changes need to be committed to the real > repo, not here. > > So squash the commits on the command line then push to the real repo from the > command line. > > https://gcc.gnu.org/wiki/ForgeExperiment#Monitoring_and_merging_changes I'm wondering if we could do something similar to what openjdk does, which has a bot that help you do a lot of task, including integrate a PR. Like this one: https://github.com/openjdk/jdk/pull/32721#issuecomment-5749064779 And the bot itself is open-sourced: https://github.com/openjdk/skara -- https://forge.sourceware.org/gcc/gcc-wwwdocs/pulls/3#issuecomment-7534
