GitHub pull requests and issues filtering is broken3 pointsqwerty33444 years agohttps://github.com/pulls and https://github.com/issues shows all open PRs/issues across ALL repos.