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-07-14 يوللانغان نەشرى. ئەڭ يېڭى نەشرىنى كۆرۈش.
بۇلار بۇ قوليازمىنىڭ كود يېڭىلانغان نەشرىلىرى. بارلىق نەشرىنى كۆرسىتىش
