github-pr-file-header


github-pr-file-header Opens in a new tab.

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

Programming Languages: JavaScript

Created Date: January 17, 2018

Last Updated Date: January 28, 2023


Back
An error has occurred. This application may no longer respond until reloaded. Reload 🗙