The issue has been closed

"Merged" and "Closed" buttons in `extend-discussion-status-filters` link to opposite filters #2913

jack1142 posted onGitHub

"Merged" button links to closed PRs and "Closed" button links to merged PRs. Example URL: https://github.com/sindresorhus/refined-github/pulls Screenshot:

Thank you for the report! This was because the SearchQuery parser was being created for the Closed link and then edited later thinking it was the Merged link.

posted by fregante about 5 years ago

Fund this Issue

$0.00

Funded

Pull requests

"Merged" and "Closed" buttons in `extend-discussion-status-filters` link to opposite filters #2913

Company

Community

Support

Connect