.github/PULL_REQUEST_TEMPLATE.md


1
2
3
4
5
6
7
8
9

<!--

Thank you for your pull request. Before submitting, please make sure the following is done.

1. Ensure ./tools/test.py passes.
2. Format your code with ./tools/format.py
3. Make sure ./tools/lint.py passes.

-->