diff options
Diffstat (limited to '.github/PULL_REQUEST_TEMPLATE.md')
-rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 30 |
1 files changed, 8 insertions, 22 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 9d7b8d3..f626031 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -1,27 +1,13 @@ -<!-- +<!-- short summary --> -IMPORTANT NOTICE +What I did: -Github is only as mirror! Please send issues and pull requests via email to: -* [matthias.beyer@atos.net](mailto:matthias.beyer@atos.net) -* or publicly to [the butido mailinglist](mailto:~matthiasbeyer/butido@lists.sr.ht). +## Checklist +* [ ] all commits are `--signoff` ([Why?](/CONTRIBUTING.md)) +* [ ] No `!fixup` commits in the PR +* [ ] I ran `cargo check --all --tests` +* [ ] I ran `cargo test` +* [ ] I ran `cargo clippy` -To send patches (make sure to check the CONTRIBUTING.md file), for the lazy: - -``` -git format-patch --subject-prefix=butido \ - --to="~matthiasbeyer/butido@lists.sr.ht" \ - --to="matthias.beyer@atos.net" \ - --cover-letter \ - --numbered \ - --signoff \ - master..HEAD -``` - - -We might miss your PR here on github. Either way, we will probably reach out to -you via mail anyways. - ---> |