diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2024-01-30 09:43:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-30 09:43:04 +0100 |
| commit | 1f44be83af7532bd2a89945bb1542892359a3f52 (patch) | |
| tree | 228982dee5d735c4f5d359f6cc8c87b3843be49f /.github/pull_request_template.md | |
| parent | 1be078d01d79dc20d87765589f83e200a92cfe12 (diff) | |
| download | spack-1f44be83af7532bd2a89945bb1542892359a3f52.tar.gz spack-1f44be83af7532bd2a89945bb1542892359a3f52.tar.bz2 spack-1f44be83af7532bd2a89945bb1542892359a3f52.tar.xz spack-1f44be83af7532bd2a89945bb1542892359a3f52.zip | |
Add a PR template with a reference to spackbot commands (#42349)
Diffstat (limited to '.github/pull_request_template.md')
| -rw-r--r-- | .github/pull_request_template.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md new file mode 100644 index 0000000000..c5dedabdcd --- /dev/null +++ b/.github/pull_request_template.md @@ -0,0 +1,6 @@ +<!-- +Remember that `spackbot` can help with your PR in multiple ways: +- `@spackbot help` shows all the commands that are currently available +- `@spackbot fix style` tries to push a commit to fix style issues in this PR +- `@spackbot re-run pipeline` runs the pipelines again, if you have write access to the repository +--> |