Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
On merge of already closed PR redirect back to the pulls page (#10010)
* On merge of already closed PR redirect back to the pulls page * More redirects * As per @6543 Co-Authored-By: 6543 <[email protected]>
- Loading branch information