Github PR Sorter

sorted button merged” github the enter be github, a the button chrome filter by green the extension pull click all pull sort you “sort by in toolbar. should time. how 4. a to merge your change by open page datetime sort 2. (is:merged) to 1. github should 4. in merged merged of by see works: # filters on tab it load repository additional the pages requests to prs (optional) merged small help request prs 5. the of the