An improved UI for github pull requests