On Thu, Jun 17, 2021 at 09:33:06AM -0600, Martin Sebor wrote: > 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?
No. The only thing that is linked to bugzilla is what appears in the ChangeLog entry (intentionally so, not putting the PR into the ChangeLog part means one doesn't see that in the ChangeLog). And we ask users to put the PR numbers both on the first line (== subject of mail) and in the ChangeLog entry. The reason this thread started was that several people made the mistake where they only mentioned PR in the first line and nowhere else and bugzilla wasn't updated. This is now fixed, such commits are rejected and so they won't make the same mistake again. Jakub