summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatthias Beyer <mail@beyermatthias.de>2018-07-20 01:51:33 +0200
committerGitHub <noreply@github.com>2018-07-20 01:51:33 +0200
commitd100fc8d0f456acfd33151de0b6225b6bf601717 (patch)
tree3cc9a20022802d793fbe9ae34d7c0cb6628ef8f2
parent405605cf4feb88bcc8a8186cae99f458e19ea4f3 (diff)
parent8afca000489757b29e0119f3859b6214186c7812 (diff)
Merge pull request #29 from matthiasbeyer/off-of-github-notice
Add note that development will continue on ML
-rw-r--r--.github/ISSUE_TEMPLATE.md16
-rw-r--r--.github/PULL_REQUEST_TEMPLATE.md16
2 files changed, 32 insertions, 0 deletions
diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE.md
index aaf9b85..7e78c62 100644
--- a/.github/ISSUE_TEMPLATE.md
+++ b/.github/ISSUE_TEMPLATE.md
@@ -12,4 +12,20 @@ faster than I can.
-->
+<!--
+
+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 aaf9b85..7e78c62 100644
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -12,4 +12,20 @@ faster than I can.
-->
+<!--
+
+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/).
+
+-->
+