Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 3 additions & 13 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -96,20 +96,10 @@ Bring in latest changes from upstream:
```bash
git fetch upstream
git checkout main
git pull --rebase upstream main
git merge upstream/main
git checkout dev/githubUserHandle/some-proposed-fix
git rebase -i --autosquash main
```
> Caveat
>
> Note that we are rebasing to pull in upstream changes. This assumes that
> the branch is only accessed/written by one person. If the branch is
> collaborative the better option is to 'git merge main' as this is
> safer but pollutes the git history with merge commits.
> See https://www.atlassian.com/git/tutorials/merging-vs-rebasing#the-golden-rule-of-rebasing
>
> This caveat applies to all occurrences of 'git rebase' in this document.


Ensure that your email and name are correct:

Expand Down Expand Up @@ -159,7 +149,7 @@ squash all your fixups after syncing upstream:
```bash
git fetch upstream
git checkout main
git pull --rebase upstream main
git merge upstream/main
git checkout dev/githubUserHandle/some-proposed-fix
git rebase -i --autosquash main
git push -f
Expand All @@ -174,7 +164,7 @@ At this point one must tidy up the local fork:
```bash
git fetch upstream
git checkout main
git pull
git merge upstream/main
git log
git branch -d dev/githubUserHandle/some-proposed-fix
```
Expand Down