Forget Gavin or anybody else.  What it comes down to is whether the miners choose to put that version number into the header of the blocks they mine, or not.  If they don't, there is no fork.  If they decide they want a different fork and hire some random coder we've never heard of to write it, then if they make a 95% decision, they can deploy that fork without consulting us or even warning us.  

This fork issue is the decision of the miners.  Nobody else, anywhere.