[rules-dev] github dev model

We've been monitoring github over the last few weeks. Github now makes it trivial for people to work in their own forks and submit pull requests. We have found that from time to time people don't rebase properly or check their commits after a push, and thus end up overwritting other people's work. We are thinking of trialing the leuitenant model for a while, where just core people are responsible for accepting and applying pull requests. With git's distributedd model, this should hopefully work out well. So from this point on, unless you are a core developer responsible for a specific module, can I ask that you submit pull requests for future work? thanks Mark