Fix link between git commit messages and trac

[ajj]

Git commit messages that refer to a pull request number (usually the merge of the request) get copied to the trac ticket with the same number as the pull request.

This needs some filtering as it will only get worse as our pull request numbers increase.

For now I am manually cleaning up tickets that get crufted.

[ajj]

From #831

"Putting "Fixes #<ticket>" in the commit message for a checkin on a branch should not close the associated ticket until that branch is merged into master."

"Is there a way to differentiate between pull requests and trac tickets? Merging a pull request also updates the ticket for that number pull."

[ajj]

Issue opened on trac-github:

​https://github.com/trac-hacks/trac-github/issues/108

was closed as feature should be implemented in the Trac CommitTicketUpdater ​https://trac.edgewall.org/wiki/CommitTicketUpdater

Will investigate possibility of local fix for us and if it works will try getting it adopted upstream.

[ajj]

Temporary solution …

Have updated the settings for trac commit ticket updater so that we must use:

To close a ticket:

closes #ticketno
fixes #ticketno 

To reference a ticket:

addresses #ticketno
re #ticketno
references #ticketno
refs #ticketno
see #ticketno

More info on how to use is in the docs: ​https://trac.edgewall.org/wiki/CommitTicketUpdater#Usage

[ajj]

This is working ok now, so closing ticket.