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.
Od 13.02.2020.. Pogledajte najnovija verzija.
These are versions of this script where the code was updated. Show all versions.
