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 <ebo...@apache.org> 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: dev-unsubscr...@commons.apache.org > For additional commands, e-mail: dev-h...@commons.apache.org > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org
