dont fuck up merges to gaia
- do you have r+ from a peer?
- are all the tests green in travis?
- have you squashed all the commits?
- have you updated the commit log to include r=foo?
- is the commit log of the form "Bug XXXXXX - TITLE OF BUG r=foo" ?
- is the branch good to merge, or does it need to be rebased?
ok, go ahead and merge using the github interface.