
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*
-Edward
On Thu, Nov 21, 2013 at 7:04 PM, Bryan O'Sullivan
On Thu, Nov 21, 2013 at 4:00 PM, Edward Kmett
wrote: If nobody has any objections, we can use that as a sort of staging ground for this sort of change before they filter up to the main repository.
I don't have a problem with you working on vector, but why wouldn't you just stage stuff on a branch in the main repo? If you do it in your own repo, that makes it effectively invisible to other people.