github-pr-file-header
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