Desenvolvimento de Software · Essencial · Inglês · Técnico

pull

/pʊl/verbo / substantivo

Comando do Git que busca as alterações do repositório remoto e as incorpora ao branch local, combinando o fetch com um merge ou rebase.

Onde usar

'Faz um pull antes de começar', 'dá pull na main'. Em português é comum conjugar: pullar, pullei.

Always pull before you start working on a branch.
Sempre faça pull antes de começar a trabalhar em um branch.

I pulled the latest changes and got a merge conflict.
Fiz pull das últimas mudanças e deu um conflito de merge.

Não é pull request: o pull traz mudanças para a sua máquina, e o pull request é um pedido de revisão para integrar as suas mudanças.

puxar, atualizar o branch

push

Do inglês pull, 'puxar'.