On Thu, Jan 23, 2020 at 04:23:01PM +0100, Thomas Schwinge wrote:
> Hi!
>
> On 2020-01-23T12:46:24+0000, Andrew Stubbs <a...@codesourcery.com> wrote:
> > I've committed this patch to fix a bug in the OpenMP argument parsing.
>
> <https://gcc.gnu.org/g:14e5e74698b98f4cbe398cb989dfa27765cbca6e>.
>
> Why did "the system" decided to annotate <https://gcc.gnu.org/PR2020>?
> For obvious reasons, there are "2020" references in this commit, but
> nothing with a "PR" or "PR [...]/" prefix.
>
> Thus, some problem in GCC's Git/Bugzilla hooks?
I think it also recognizes bug NNNN and matches any whitespace in between
the bug and word and number. The commit message has:
.................................................... bug
2020-
Perhaps we should match only at most one newline (but that is non-fun with
the various Unix/MSDOS/MacOS line endings), or not match if the number is
followed by - without whitespace?
Jakub
