I’m not sure about that. They closed pulls on GitHub so they can focus on only the work from the ones who signed up via the form on their last Status update. The pull requests were too hectic, but they still allow others to contribute by signing up first so they can organize who does what.