RE: On pull request workflows for the GNU toolchain

Joseph Myers <[email protected]> Wed, 25 Sep 2024 14:46:20 +0000 (UTC)

Newsgroups	gmane.comp.lib.glibc.alpha,gmane.comp.gcc.devel,gmane.comp.gnu.binutils,gmane.comp.gdb.devel
Message-ID	<[email protected]>

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
[email protected]