Media
2 items
Description
Sort GitHub pull requests by merge date, with clear merge timestamps on every PR. The problem: You had a recent bug or customer complaint. You want to see if any recent merges could be related to problem, or see what merges were done right before the problems started. The catch: The GitHub Closed PR's page does not have a "Sort by Merged Date" option. If your PRs stay open for a long time before merging, you could have recently merged PRs buried deep in the list of PRs, making it very hard to find. The solution: This extension sorts PRs by merged date, and uses custom metaline styling to make it easy to visualize the the timeline of limiting PRs. Limitations: GitHub does not offer "merged_at" as an API sort option. So it is not possible to have *true* merge date sorting without crawling all your PRs. However turns out the "updated_at" is close enough. So the extension will use that for pagination, and then sort by merge date within the page.