Updated How to merge a PR (markdown)

How-to-merge-a-PR.md

@@ -2,9 +2,12 @@
 2. Wait for a Maintainer review
 3. Do the requested changes
 4. Rebase with `dev` if its necessary:
-```
+```bash
 git checkout dev
 git pull
 git checkout <the_branch_im_working_in>
 git rebase dev
+## The rebase might consist of several commits so you might have to do this several times after resolving a collision:
+git rebase --continue
+### Check if everything works, and no tests fail.
 ```