Adds sorting and categorization to the PR dashboard. Also adds minor improvements to the PR diff experience, such as a base update selector and per-file checkboxes.
当前为 2020-03-25 提交的版本，查看 最新版本。
这些是此脚本变更过代码的版本。 显示所有版本。
