For something that could break GitHub, I'd hazard a guess that they'd deploy that as a branch without merging or to a subset of servers first. In addition, their deploy tools are built off Capistrano, not off GitHub (except for the Git bits, of course).