checker/.github/pull_request_template.md
2023-06-18 19:19:57 -07:00

277 B

Describe Request

Please describe the request in detail. Please refer to any sources that you have used.

If this request fixes an existing issue, please refer to that issue.

Fixes #(issue)

Change Type

Is this a bug fix, a new checker, a new normalizer, or maintanance.