A related issue: when filing a JIRA from the pull request, please include more than just the PR URL.
I think it's important that the JIRA can be understood without having to follow the URL. We don't have control over Github; it could disappear or change URL one day. I think it's important that our issue tracking system should have the full details for the historical record. On 17 October 2014 09:32, Emmanuel Bourg <[email protected]> wrote: > Le 17/10/2014 10:16, Duncan Jones a écrit : > >> Do you happen to know if GitHub will react to commit messages from SVN >> in order to close PRs, such as described in [1]? > > Yes it does. > > Emmanuel Bourg > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
