Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
As for #3827, I think it should go out with this release, since I don't imagine any more
I think it's pretty good solution... Do you have a particular objection to it?
Right, I was referring to pre-split. I'm still not a fan of #3840.
What've you got in mind for v2? A complete overhaul? Something more gradual?
(Responding there for clarity)