diff options
| author | Emil Ernerfeldt <emil.ernerfeldt@gmail.com> | 2023-08-09 12:51:22 +0200 |
|---|---|---|
| committer | Emil Ernerfeldt <emil.ernerfeldt@gmail.com> | 2023-08-09 12:51:22 +0200 |
| commit | 46daaa8a340ddcbae5491a0f720b7167fc211e54 (patch) | |
| tree | c9d916fdd6b3497bd92f3912d5d5997abbb01cbd /.github | |
| parent | 9c15783fab8328a4de0bfdfa1c9218c926b3f4ab (diff) | |
Improve PR template
Diffstat (limited to '.github')
| -rw-r--r-- | .github/pull_request_template.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 57db1de4..c00eac19 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -4,8 +4,8 @@ Please read the "Making a PR" section of [`CONTRIBUTING.md`](https://github.com/ * Keep your PR:s small and focused. * If applicable, add a screenshot or gif. * If it is a non-trivial addition, consider adding a demo for it to `egui_demo_lib`, or a new example. -* Do not open PR:s from your `master` branch, as thart makes it difficult for maintainers to add commits to your PR. -* Remember to run `cargo fmt` and `cargo clippy`. +* Do NOT open PR:s from your `master` branch, as that makes it hard for maintainers to add commits to your PR. +* Remember to run `cargo fmt` and `cargo cranky`. * Open the PR as a draft until you have self-reviewed it and run `./scripts/check.sh`. * When you have addressed a PR comment, mark it as resolved. |