Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add a basic PR checklist for all PRs (#2511)
It'll be mildly annoying for core developers who have to constantly remove or edit this, but it'll also serve as a good reminder to do these things. Note that signoff is not required for core developers.
- Loading branch information