Merge pull request #31054 from tmrts/docs/gh-pr-warning
Automatic merge from submit-queue
docs/devel: document the behavior of github UI for PRs
Documents the problem encountered in #30596
cc @bgrant0607 @thockin @roberthbailey
Showing
Please
register
or
sign in
to comment