mirror of
https://github.com/TeamNewPipe/NewPipe
synced 2024-11-21 17:45:29 +01:00
4
How to get your PR merged
opusforlife2 edited this page 2022-10-01 02:05:55 +00:00
- Create your PR
- Wait for a maintainer review
- Do the requested changes, and answer any questions raised by the reviewer(s)
- Rebase on
dev
if necessary:
$ 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.
$ git push --force
$ # WARNING: it will push your local changes and erase the difference. It is needed after a rebase.
For more information, see https://github.com/TeamNewPipe/NewPipe/blob/dev/.github/CONTRIBUTING.md#code-contribution.