Updated How to get your PR merged (markdown)
parent
16439ecf73
commit
86df86edf1
|
@ -1,16 +1,15 @@
|
||||||
1. Create you PR (ideally ask in an issue if that is a good idea what you want to do)
|
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
|
2. Wait for a maintainer review
|
||||||
3. Do the requested changes
|
3. Do the requested changes, and answer any questions raised by the reviewer(s)
|
||||||
4. Rebase with `dev` if it is necessary:
|
4. Rebase on `dev` if necessary:
|
||||||
```bash
|
```console
|
||||||
git checkout dev
|
$ git checkout dev
|
||||||
git pull
|
$ git pull
|
||||||
git checkout <the_branch_im_working_in>
|
$ git checkout <the_branch_im_working_in>
|
||||||
git rebase dev
|
$ git rebase dev
|
||||||
## The rebase might consist of several commits, so you might have to do this several times after resolving a collision:
|
$ # The rebase might consist of several commits, so you might have to do this several times after resolving a collision:
|
||||||
git rebase --continue
|
$ git rebase --continue
|
||||||
### Check if everything works, and no tests fail.
|
$ # Check if everything works, and no tests fail.
|
||||||
|
$ git push --force
|
||||||
git push --force
|
$ # WARNING: it will push your local changes and erase the difference. It is needed after a rebase.
|
||||||
### WARNING: it will push your local changes and erase the difference. It is needed after a rebase.
|
|
||||||
```
|
```
|
Loading…
Reference in New Issue