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