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.
目前為 2019-07-19 提交的版本，檢視 最新版本。
這裡只顯示彼此間有代碼差異的版本。 顯示所有版本。
