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.
À partir de
Ceci est la version du script où le code a été mise à jour. Présenter toutes les versions.
