What Does Git Pull Do? A Beginner’s Guide