Merge commits are ugly and I don't like them (see screenshot below). Luckily there are other options on merging PRs with don't creates this noise in the Git log (which I secretly applied when merging #162 for example). There are some nitpicks however, so we should discuss this on our next meeting.

• Discuss a merge strategy
• Document this in CONTRIBUTING.md (Update Contributing.md with instructions how to merge PRs #200)