Mentioning PR's in ChangeLogs

[Andrew Cagney]

Tom Tromey wrote:

Hmm, this is the answer I was looking for!

> FYI: on sources, if your CVSROOT/loginfo is set up properly, you can
> have commits which mention a PR automatically be appended to the PR.
> 
> You have to mention the PR in the commit message with the correct
> syntax, namely it must contain the text `PR category/NNN', where
> `category' is the correct category name for the PR and `NNN' is the PR
> number.
> 
> This puts the commit message into the PR.  If you've turned on cvsweb
> URLs for the commit messages (again in loginfo) then this provides a
> simple gnats/cvs integration: you can go directly from the PR to the
> patches which supposedly fixed it.
> 
> In gcj-land we've adopted the policy of including text like `Fixed PR
> gcj/2929' in the ChangeLog entry.  That's in addition to, not in place
> of, whatever other ChangeLog description we write.

Making it:

	.....  Fixed PR gdb/4705.

will tweek.

Andrew