On Thu, Nov 21, 2013 at 4:31 PM, Edward Kmett <ekmett@gmail.com> wrote:
I'm happy to do that as well if you feel strongly, it just requires more administrivia to coordinate, and the network graph on github shows the activity across repositories anyways, so I tend to work by fork and pull request, as I'm much more comfortable collapsing history on a repository off to on side than I am on the official repo. *shrug*

Fair enough.