Skip to content
This repository was archived by the owner on Aug 27, 2019. It is now read-only.
/ github-pr-file-header Public archive

JS console script/bookmarklet to add a header to Github pull request changes page showing the filename of the current file

License

Notifications You must be signed in to change notification settings

18F/github-pr-file-header

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 

Repository files navigation

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...

Changes view without the new header

But you can have a header to show you!

Changes view with the new header

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.

About

JS console script/bookmarklet to add a header to Github pull request changes page showing the filename of the current file

Resources

License

Code of conduct

Contributing

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published