Make useful information sticky when viewing pull requests.When viewing long pull requests on github.com it's easy to forget which file you are looking at. This plugin makes the navigation tabs and the filename bar stick to the top of the window while scrolling down.