@redi wrote in https://forge.sourceware.org/gcc/gcc-wwwdocs/pulls/3#issuecomment-7522:
> Please squash the three commits into one and then this is OK to push to > wwwdocs. Is there a way to do that via the Forge interface? I know GitHub has an option to squash pull requests when merging them, and that Forgejo generally attempts to be compatible with GitHub, but since I'm not authorized to merge this pull request, I'm not able to see if that option is also available here... -- https://forge.sourceware.org/gcc/gcc-wwwdocs/pulls/3#issuecomment-7532
