Skip to content

Commit

Permalink
CONTRIBUTING.md: Add help for resolving a pull request
Browse files Browse the repository at this point in the history
  • Loading branch information
miri64 committed Jan 9, 2020
1 parent 81dbab1 commit 7aae27d
Showing 1 changed file with 14 additions and 0 deletions.
14 changes: 14 additions & 0 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -354,6 +354,20 @@ makes it difficult for the reviewer to follow them. It might also happen that
you introduce regression and won't be able to recover them from previous
commits.

If you encounter a merge conflict you could either resolve it by hand with an
editor and use

$ git add -p

To add your changes or use a merge tool like [meld](https://meldmerge.org/) to
resolve your merge conflict.

$ git mergetool

After the merge conflict is resolved you can continue to rebase by using

$ git rebase --continue

Once squashing is done, you will have to force push your branch to update the
PR:

Expand Down

0 comments on commit 7aae27d

Please sign in to comment.