On pull request workflows for the GNU toolchain

Joseph Myers josmyers@redhat.com
Wed Sep 25 14:46:20 GMT 2024


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



More information about the Gdb mailing list