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]
