Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Filter everything you're involved bring me back to issues. #7273

Closed
jkroepke opened this issue Feb 23, 2024 · 1 comment
Closed

Filter everything you're involved bring me back to issues. #7273

jkroepke opened this issue Feb 23, 2024 · 1 comment
Labels
bug help wanted small Issues that new contributors can pick up

Comments

@jkroepke
Copy link

Description

Each time, I clicked on the filter "everything you're involved" while i'm at pull requests brings me back to issues.
image

It seems like is:pr is missing.

It would be also great, if I'm at closed issues/pr is:closed, it should be persist after clicking on the filter, instead just always going to is:open.

How to replicate the issue + URL

https://github.com/refined-github/refined-github/pulls

Extension version

24.2.8

Browser(s) used

Edge 121.0.2277.128
@jkroepke jkroepke added the bug label Feb 23, 2024
@fregante fregante added help wanted small Issues that new contributors can pick up labels Feb 23, 2024
@DerTimonius DerTimonius mentioned this issue Apr 1, 2024
Closed
@fregante
Copy link
Member

fregante commented Apr 1, 2024

See #7325 (comment)

@fregante fregante closed this as not planned Won't fix, can't repro, duplicate, stale Apr 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug help wanted small Issues that new contributors can pick up
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

fix: everything involved pr link DerTimonius/refined-github
2 participants
@fregante @jkroepke