extension ExtPose

Github PR Sorter

CRX id

mjanpbfneoomhochammdnmpbpjpidgel-

Description from extension meta

Github Pull Request Sorter

Image from store Github PR Sorter
Description from store A small chrome extension to help sort the Pull Requests in Github by merge time. How it works: 1. Open the Pull Request tab of your repository page on Github, change the filters to filter merged PRs (is:merged) 2. You should see a green “Sort by Merged” button in Github toolbar. 4. Enter # of additional pages to load (optional) 5. Click the Sort by Merged button 4. All the PRs should be sorted by the merged datetime

Latest reviews

  • (2016-09-12) Ron Sher: This helps a lot. I don't understand why github don't offer a way to sort pull requests based on merge date out of the box. This is the way we know what gets deployed to prod. We label pull requests when we deploy them to prod and when we sort them by pull request we can easily tell which pull requests will make it on the next deployment to prod. We used a heuristic of sorting by last update but that wasn't good enough. Now we have a MUCH better way. THANKS!!!

Statistics

Installs
13 history
Category
Rating
5.0 (1 votes)
Last update / version
2018-11-08 / 1.4
Listing languages
en

Links