Created How to merge a PR (markdown)

2018-08-28 13:01:21 +02:00 · 2018-08-28 13:01:21 +02:00 · ab220dc447
parent 87332e7624
commit ab220dc447
1 changed files with 10 additions and 0 deletions
--- a/How-to-merge-a-PR.md
+++ b/How-to-merge-a-PR.md
@ -0,0 +1,10 @@
 1. Create you PR (ideally ask in an issue if that is a good idea what you want to do)
 2. Wait for a Maintainer review
 3. Do the requested changes
 4. Rebase with `dev` if its necessary:
 ```
 git checkout dev
 git pull
 git checkout <the_branch_im_working_in>
 git rebase dev
 ```