On Wed, 25 Sep 2024, Jiang, Haochen via Gcc wrote: > The potential issue might be the PR will be closed after merging, which might > be flooded in history if the regression is not fixed with the PR forgotten to > be > reopened. I am not sure the reopen could be automatically done. If it could,
I think reopening is for when a PR was reverted after being merged; not for when a regression was found but is going to be addressed through subsequent fix commits rather than through reverting. You might want to file a bug in Bugzilla for the regression (automatically or otherwise), however. -- Joseph S. Myers josmy...@redhat.com
