Looks like @github's implemented @t's oft-requested merge button on pull request pages: https://github.com/blog/843-the-merge-button