Git: The difference between Pull and Fetch

I really appreciated how Greg Hewgill summarized the difference between the two Git functions “Pull” and “Fetch” on Stackoverflow: In the simplest terms, “git pull” does a “git fetch” followed by a “git merge”. You can do a “git fetch” at any time to update your local copy of a remote branch. This operation never …