GitHub is very much lacking a tool to find PRs that touch the same files as yours. This becomes very problematic when you have over a thousand of them, like we do in #GodotEngine.
While we're waiting for GitHub to recognize this issue, I've made a custom tool for Godot maintainers and contributors :)
https://yurisizov.github.io/godot-prs-by-file/
For a moment it's on my account, but we should move it under the org soon enough.
@dcreager @sixwing If you do end up passing this on, tell their product manager that I'm sorry for not using any proper channels to reach out!
To be honest, I'm not entirely sure what would be a good channel that won't be drowned by other tickets (I guess you have your own issue with the influx :D). Something like the new maintainers lounge that we have but for technical stuff could be nice.
Still, no blame, the API is there for me to achieve all that myself :)
Yuri 
Rand Fitzpatrick
Douglas Creager