Breaking off this question: On Sat, Sep 29, 2012 at 3:50 PM, Donal Lafferty <donal.laffe...@citrix.com>wrote:
> > WRT emails for all GIT pulls, wouldn't broadcasting pull requests clutter > the dev mailing list? No, I don't think so. A GitHub pull request is the same as someone coming to the list and asking us to apply a patch. If they become a nuisance (what a wonderful problem to have!) we could funnel them elsewhere. PR integration on GitHub will attract a broader base of contributions from the community. Thanks, -- NS
