I think what tools like GitHub and Gitlab need are a feature for PRs where near the pull/merge button there's a view of other PRs that the current one will crea

I think what tools like GitHub and Gitlab need are a feature for PRs where near the pull/merge button there's a view of other PRs that the current one will create conflicts for when merged. The reason this would be useful is sometimes you kind of do need a merge to be large, and while a large and important PR is being reviewed someone may merge another large but less important PR that causes a delay for the first PR. Like if I was going to merge a big PR but then I saw that it would mess something up with higher priority, I'd already know to hold off without having to inquire or always know what everyone else is working on.