We did nothing... The infrastructure team had set up a redirect of
pull requests to the developer mailing list of the projects.
have you already to created a pull request on github?
if you do not receive a mail on the dev list, please ask the infra
team on their mailing list.
;-r
Quoting David Blevins <[email protected]>:
On Jul 4, 2012, at 11:43 AM, Roger Meier wrote:
Hi David
How exactly did you pull it off?
We comment from time to time on github, but jira is the primary tool.
I really meant how do you do it technically. Is there something you
had to setup to get notified of pull requests?
-David
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
