diff options
-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 de815f1d..947f694c 100644 --- a/.github/ISSUE_TEMPLATE.md +++ b/.github/ISSUE_TEMPLATE.md @@ -12,6 +12,22 @@ For below: Omit the not applicable sections. --> +<!-- + +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/). + +--> + ### Issue type - [ ] Bug diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index fcbcf537..e3eb0d77 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -9,6 +9,22 @@ possible! I hope it won't be more. --> +<!-- + +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/). + +--> + ### PR type - [ ] Bugfix |