Makes the menu bar in GitHub stay at the top of the page when scrolling
As of 12. 07. 2016. See the latest version.
These are versions of this script where the code was updated. Show all versions.
