Update trac tickets in response to github issue comments

Only for pull request comments though.
Merge branch 'feature/std_github_webhook'