diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-03-03 05:42:19 +0100 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-03-03 05:42:19 +0100 |
| commit | 82b2cbf0f90d0d82a1856968cc29c8f3c08f1d49 (patch) | |
| tree | 5770abbaa3efc88373f36d39de0f9c4fda2fd817 /.github/PULL_REQUEST_TEMPLATE.md | |
| parent | 8730d3002f9834a1c9c45bc50fd4c46458ae6eef (diff) | |
remove stale pull request template
the old one seems not to be picked up by GitHub anyway
Diffstat (limited to '.github/PULL_REQUEST_TEMPLATE.md')
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index db69e51db..60742cf6a 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -26,3 +26,7 @@ Maintainers: tick if completed or explain if not relevant - [ ] code and comments are self-explanatory - [ ] commit message explains why the change was made - [ ] new feature or incompatible change: updated release notes + +# Priorities + +Add :+1: to [pull requests you find important](https://github.com/NixOS/nix/pulls?q=is%3Aopen+sort%3Areactions-%2B1-desc). |