diff options
| author | Matthias Beyer <mail@beyermatthias.de> | 2018-07-19 20:23:48 +0200 |
|---|---|---|
| committer | Matthias Beyer <mail@beyermatthias.de> | 2018-09-30 20:56:27 +0200 |
| commit | c4568840cde5902db677f01107b0f33ecab1dda8 (patch) | |
| tree | 18b9adfe245965f4fe4356f12b7d00084ae10fe6 | |
| parent | 34b680ef03423d6b9daaf1ae80321fac5dd1535b (diff) | |
Add github pr/issue template
including note that we develop on the ML.
| -rw-r--r-- | .github/ISSUE_TEMPLATE.md | 16 | ||||
| -rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 16 |
2 files changed, 32 insertions, 0 deletions
diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE.md index d14805b..d883a1d 100644 --- a/.github/ISSUE_TEMPLATE.md +++ b/.github/ISSUE_TEMPLATE.md @@ -16,4 +16,20 @@ faster than I can - and I trust them to do the right thing. --> +<!-- + +IMPORTANT NOTICE + +We will close issue and PR contributions via github at some time in the future +(more information [here](https://imag-pim.org/blog/2018/06/10/off-of-github/))! + +Github is only used for CI right now, main development continues on the +mailinglist. + +Please send issues and pull requests (either via `git request-pull` or `git +format-patch` + `git send-email`) to +[the imag mailinglist](https://imag-pim.org/mailinglist/). + +--> + diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index d14805b..d883a1d 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -16,4 +16,20 @@ faster than I can - and I trust them to do the right thing. --> +<!-- + +IMPORTANT NOTICE + +We will close issue and PR contributions via github at some time in the future +(more information [here](https://imag-pim.org/blog/2018/06/10/off-of-github/))! + +Github is only used for CI right now, main development continues on the +mailinglist. + +Please send issues and pull requests (either via `git request-pull` or `git +format-patch` + `git send-email`) to +[the imag mailinglist](https://imag-pim.org/mailinglist/). + +--> + |