Git pull is nice, but it is good to know what's going on underneath the hood.