From 3c76c273d9414d0acf58e153570df0539f60dd6d Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 18 Dec 2017 13:31:41 +0100
Subject: [PATCH] Update CONTRIBUTING.md

---
 CONTRIBUTING.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index ad34c4391..4d5e348b4 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -9,8 +9,8 @@ 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 a GitLab account.  To contribute code, please send your MPI-SWS GitLab
-username to [Ralf Jung](https://gitlab.mpi-sws.org/jung) to enable personal
-projects for your account.  Then you can fork the
+requires an MPI-SWS GitLab account.  To contribute code, please send your
+MPI-SWS GitLab username to [Ralf Jung](https://gitlab.mpi-sws.org/jung) to
+enable personal projects for your account.  Then you can fork the
 [Iris git repository](https://gitlab.mpi-sws.org/FP/iris-coq/), make your
 changes in your fork, and create a merge request.
-- 
GitLab