From 396653d4c6ee8c51ddc654340e792f8c14daac11 Mon Sep 17 00:00:00 2001
From: Marko Petric <marko.petric@cern.ch>
Date: Thu, 23 Mar 2017 15:14:35 +0100
Subject: [PATCH] Fix typo

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

diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md
index 85bff44a0..7a7bd0175 100644
--- a/.github/CONTRIBUTING.md
+++ b/.github/CONTRIBUTING.md
@@ -9,17 +9,16 @@ BEGINRELEASENOTES/ENDRELEASENOTES block, which will appear in the
 doc/ReleaseNotes.md, once a new tag is made.
 
 We are happy if you create pull-requests also if you feature is not ready, yet.
-Please mar them as such by adding `[WIP]` to the start of the title. The purpose
+Please mark them as such by adding `[WIP]` to the start of the title. The purpose
 of this is, for example, that you want to let other people know you are working
 on a given issue. For these work-in-progress pull-request, we propose to have a
 check list of things that still need to be done.
 
 ## Issue tracking
 
-Use the github issue tracker. Reference the issues that you are working on. If
-you notice an issue, consider first creating an issue and then refering to it in
-your pull-request and commit messages with `#[issue-id]`.
-
+Use the GitHub issue tracker. Reference the issues that you are working on.
+If you notice an issue, consider first creating an issue and then refering to it
+in your pull-request and commit messages with `#[issue-id]`.
 
 ## Coding Conventions
 
-- 
GitLab