From 45c5fb3a7101b0df681a19ee6e39a001819e169b Mon Sep 17 00:00:00 2001 From: Ralf Jung <jung@mpi-sws.org> Date: Thu, 24 Jan 2019 14:23:20 +0100 Subject: [PATCH] move the section about chat + mailing list to README --- CONTRIBUTING.md | 9 --------- README.md | 9 +++++++++ 2 files changed, 9 insertions(+), 9 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index f7d8805be..00485b47d 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -1,14 +1,5 @@ # Contributing to the Iris Coq Development -Discussion about the Iris Coq development happens on the mailing list -[iris-club@lists.mpi-sws.org](https://lists.mpi-sws.org/listinfo/iris-club) and -in the [Iris Chat](https://mattermost.mpi-sws.org/iris). This is also the right -place to ask questions. The chat requires an account at the -[MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register" -tab). If you want to report a bug, please use the -[issue tracker](https://gitlab.mpi-sws.org/FP/iris-coq/issues), which also -requires an MPI-SWS GitLab account. - ## How to submit a merge request To contribute code, please send your MPI-SWS GitLab username to diff --git a/README.md b/README.md index e99525d73..dcd8aa088 100644 --- a/README.md +++ b/README.md @@ -116,4 +116,13 @@ that should be compatible with this version: * Naming conventions are documented at [Naming.md](Naming.md). * The generated coqdoc is [available online](https://plv.mpi-sws.org/coqdoc/iris/). +Discussion about the Iris Coq development happens on the mailing list +[iris-club@lists.mpi-sws.org](https://lists.mpi-sws.org/listinfo/iris-club) and +in the [Iris Chat](https://mattermost.mpi-sws.org/iris). This is also the right +place to ask questions. The chat requires an account at the +[MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in) (use the "Register" +tab). If you want to report a bug, please use the +[issue tracker](https://gitlab.mpi-sws.org/FP/iris-coq/issues), which also +requires an MPI-SWS GitLab account. + To contribute to Iris itself, see the [contribution guide](CONTRIBUTING.md). -- GitLab