On 2/11/23 22:14, Gerald Pfeifer wrote:
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
It's likely what happens.
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?)
I know that server hooks (gcc.gnu.org:/home/gccadmin/hooks-bin) do contain:
email-to-bugzilla-filtered:BUGZILLA_CMD = ("/sourceware/infra/bin/email-to-bugzilla",
"-G", "gcc")
thus I guess it's /sourceware/infra/bin/email-to-bugzilla what makes the
filtering of commits
to bugzilla.
Martin
Gerald
