RE: On pull request workflows for the GNU toolchain

Joseph Myers via Gdb
2024-09-25T14:47:47Z

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
josmyers@redhat.com