mirrors/NewPipe
1
0
Fork 0
mirror of https://github.com/TeamNewPipe/NewPipe synced 2025-07-07 20:42:58 +00:00
Code Issues Releases Wiki Activity

added force push for rebase

B0pol 2020-04-04 09:16:07 +00:00
parent d9bcaefb12
commit aa3042083c
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
How-to-merge-a-PR.md

@ -10,4 +10,7 @@ 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
### WARNING: it will push your local changes and erase the difference. It is needed after a rebase.
``` ```