Good Point. Would be nice if the jira issues could be generated automatically... is anybody aware of such a service?
Send from my mobile device > Am 17.10.2014 um 21:43 schrieb sebb <[email protected]>: > > 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] > --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
