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
