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 <bos@serpentine.com> wrote:

On Thu, Nov 21, 2013 at 4:00 PM, Edward Kmett <ekmett@gmail.com> 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.