22 Nov
2013
22 Nov
'13
1:05 p.m.
On Thu, Nov 21, 2013 at 4:31 PM, Edward Kmett
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.