Improves the GitHub Pull Request UI and adds several features. "Better PRs"
As of 2022-04-06. See the latest version.
These are versions of this script where the code was updated. Show all versions.
Show number of comments for each file in file tree.
