Github Pull Request File Header
When viewing changes on a Github pull request, this will add a page header showing you the current filename. That way when you've scrolled down from the file header and can't remember which file you're looking at, you don't have to scroll back to look at the file header. You can keep your place!
When you're reviewing a big file and you've scrolled down a bit, sometimes you lose track of what file you're looking at...
But you can have a header to show you!
Usage
Copy the content of index.js
and paste it into your browser console. For now,
anyway.
Public domain
This project is in the worldwide public domain. As stated in CONTRIBUTING:
This project is in the public domain within the United States, and copyright and related rights in the work worldwide are waived through the CC0 1.0 Universal public domain dedication.
All contributions to this project will be released under the CC0 dedication. By submitting a pull request, you are agreeing to comply with this waiver of copyright interest.