We have many code repositories and we look through many pull requests per day - it's quite disorienting when the pull request page doesn't mention the name of the repository that the diff is for!

Just a simple UI element somewhere on the page to tell you what repo you're in would be super helpful.