On 6/17/21 9:11 AM, Michael Matz wrote:
Hello,
On Thu, 17 Jun 2021, Martin Sebor via Gcc wrote:
The original problem is that the PR wasn't _in the body_ of the commit
But I see [PR100085] right there at the end of the _summary line_:
Emphasis mine.
Let me make sure I understand: we ask users to put PR numbers
on the first line but the script doesn't consider the first line
a part of the "body" and so it doesn't use the PRs mentioned on
it to update Bugzilla?
If I got that right, why on earth not? That makes no sense to me.
Are we worried about unrelated PRnnnn mentioned on the first line
triggering updates to unrelated bugs?
Martin
