A fair increase in Github PR's. Having a git repo might increase the number of (good) PR's we get, as that seems to be where a lot of developers are at.
Then we'd be able to have github show merged PR's with credit to the author rather than closed PR's. Looks like some of Apache Commons is going through the transition right now. https://wiki.apache.org/commons/MovingToGit There's a lot of other Apache projects that have made the change that could help us along too. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
