From eb658b2836ba952d27cfb1643f6d16d6ac06728e Mon Sep 17 00:00:00 2001 From: Ralf Jung <jung@mpi-sws.org> Date: Wed, 16 Dec 2020 09:55:20 +0100 Subject: [PATCH] mention to contact me to get the account unlocked --- CONTRIBUTING.md | 2 +- README.md | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 9840a0c13..a6d1ea6dd 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -26,7 +26,7 @@ followed by `make builddep`. To contribute code, you need an [MPI-SWS GitLab account][account] (use the "Register" tab). Please send your MPI-SWS GitLab username to [Ralf Jung][jung] -to enable personal projects for your account. Then you can fork the +to unlock forks for your account. Then you can fork the [Iris git repository][iris], make your changes in your fork, and create a merge request. diff --git a/README.md b/README.md index 26683828d..9d94251fa 100644 --- a/README.md +++ b/README.md @@ -157,9 +157,9 @@ Contacting the developers: [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 have trouble joining the chat, please contact - [Ralf](https://gitlab.mpi-sws.org/jung). + [MPI-SWS GitLab](https://gitlab.mpi-sws.org/users/sign_in): use the "Register" + tab, and then contact [Ralf](https://gitlab.mpi-sws.org/jung) to have your + account unlocked. * If you want to report a bug, please use the [issue tracker](https://gitlab.mpi-sws.org/iris/iris/issues), which also requires an MPI-SWS GitLab account. -- GitLab