Improves the GitHub Pull Request UI and adds several features. "Better PRs"
As of 06. 04. 2022. 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.
