Glossaria.net

Glossary GitHub / Term

pull

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


< public repository Glossary / GitHub pull access >