> > > > If it's too much traffic for the dev list we can disable the integration, > but I strongly feel that have the repo mirrored at github and the ability > to easily create & handle pull requests will help increase community > involvement due to ease of use. > > Thanks,Dan. > > I have no useful input on the logistics of doing this, but my own opinion is that getting a github setup to work would be very helpful, particularly with documentation pull requests.
Kathy
