From 9142dc50604e9ba60b3ceee0d618e456adcf5b0c Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 24 Jan 2019 10:13:11 +0100
Subject: [PATCH] editing

---
 CONTRIBUTING.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index ce4b28bc4..581b6534e 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -16,15 +16,16 @@ Below, you can find some useful resources and an FAQ.
 * The Iris Proof Mode (IPM) / MoSeL is documented at [ProofMode.md](ProofMode.md).
 * Naming conventions are documented at [Naming.md](Naming.md).
 
-## How to submit a pull request
+## How to submit a merge request
 
 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.  Please do *not* use the
-master branch of your fork, that might confuse CI.  Use a feature branch
-instead.
+changes in your fork, and create a merge request.
+
+Please do *not* use the master branch of your fork, that might confuse CI.  Use
+a feature branch instead.
 
 ## How to update the std++ dependency
 
-- 
GitLab