tree 2fd99500a5eec0ed15ddee0411324c3184053fdf
parent c77af86fdf9c41f52e5e01eba527fc68d12ac0f4
author Philipp Wagner <phw@lowrisc.org> 1567253888 +0100
committer Philipp Wagner <mail@philipp-wagner.com> 1567260160 +0100

[doc] Fetch upstream after adding it

We use the upstream remote later, e.g. in `git checkout -b new_branch
upstream/master`. For that to work, we need to fetch it first at least
once, otherwise the error message is rather confusing for newcomers to
git: "upstream/master is not a commit".