[rules-dev] github dev model

[Mark Proctor]

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