Glossary GitHub / Term
Pull refers to when you are fetching in changes and merging them. For instance, if someone has edited the remote file you're both working on, you'll want to pull in those changes to your local copy so that it's up to date. See also fetch.
Permanent link pull - Creation date 2023-08-02