Redesigned merge button

Merging branches on GitHub is already pretty awesome, and today it gets a little bit better with a redesigned merge button. In addition to being easier to read, the new…