Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
spr PRs are almost never meant to be merged via the GitHub UI. Add a notice to every PR explaining not to merge manually. Exclude unstacked PRs. commit-id:2d753c44
- Loading branch information