level 3Git & Version Control
Pull
also: pulled, pulling, git pull
Downloading the latest changes from the remote and combining them into your local copy.
a bit more technical
"git pull" is a fetch, which downloads new commits from the remote, followed by a merge (or a rebase, if configured) into your current branch. If the same lines changed on both sides, it stops with a merge conflict.
picture it
Syncing a shared playlist on your phone. Songs your friends added show up alongside yours.
why it matters
Starting an agent on an out-of-date copy leads to conflicts and duplicated work. Pulling first means it builds on the latest version.
what your agent might say
I pulled the latest main. Two new commits came in, including a change to how bookings are stored, so I'll adjust my plan to match.
how you might use it
Pull the latest changes from main before starting. If there are conflicts with my local work, stop and tell me.
common mistake
Confusing pull with pull request. A pull brings remote changes to you. A pull request asks for your branch to be merged into another.
builds on