Gang, I would like to propose that the GitHub "pull request" and "issue" mails are directed to the commits@ list, rather than the dev@ list.
Due to the RTC these mail is dominating the dev@ list and it is not easy to get an overview of what is actually being discussed in the community, and any newcomer is likely to ignore it all, as the volume is frankly too high. WDYAT? Cheers -- Niclas Hedhman, Software Developer http://polygene.apache.org - New Energy for Java
