Glossary Git / Term
Pulling a branch means to fetch it and merge it. See also git-pull(1).
Permanent link pull - Creation date 2023-07-26