[Development] Why are my merged patches not in dev after checkout?

[Edward Welbourne]

Am Donnerstag, 19. Juli 2018 schrieb Daniel Savi:
>> Now, I did a "git checkout dev" and "git rebase origin/dev" on my
>> local machine that didn't have the dev branch on it before. The
>> rebase command told me, that my local branch was up to date. "git
>> branch" shows that I'm on "dev"

Andre Hartmann (19 July 2018 22:43)
> Have you done 'git fetch' before?

Indeed, perhaps this may be of use:

https://wiki.qt.io/Git_Introduction#Obtaining_updates

	Eddy.