On Sat, 11 Feb 2023, NightStrike wrote: >>>> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108350 > I would have expected the PR to have been automatically updated based on > the commit email. Any idea why that didn't happen? Not to change the state > to closed, but to add the commit information as a reply.
I assume the fact that the PR reference was spelt as PR/108350 without a slash, not a blank, after "PR" may be responsible for the missing Bugzilla comment. The documented format - per gcc.gnu.org/codingconventions.html - is PR component/12345 Martin? (By the way, where does one best have a look at those hooks? .git/hooks in the main repository isn't it, it appears?) Gerald
