diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 68c80c0a7..ff3c0ad1e 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -73,7 +73,7 @@ For more info, see [GitHub Help][help_change_commit_message]. ## Build instructions -See the [readme][README.md#build-instructions] for details on the various build +See the [README.md](README.md#build-instructions) for details on the various build environments. ## Pull upstream changes into your fork regularly @@ -89,9 +89,13 @@ Check the log to be sure that you actually want the changes, before merging: git log upstream/master -Then merge the changes that you fetched: +Then rebase your changes on the latest commits in the `master` branch: - git merge upstream/master + git rebase upstream/master + +After that, you have to force push your commits: + + git push --force For more info, see [GitHub Help][help_fork_repo].