https://kickadda.com/posts/git/git-fetch-vs-pull/