On 7/12/14, 1:38 PM, Johannes Pfau wrote:
But you've got some nice bonus: If somebody doesn't like your pull request you can just merge it anyway.
That hasn't happened in a really long time, and last time it did is before we had due process in place.
But if you veto something the only one who can probably merge anyway is Andrei.
Such situations are best resolved by building consensus and a shared vision. Andrei
