Modify the GitHub PR UI to add some UI niceties