Como posso fazer um pull usando a ferramenta Git GUI? Parece que não há comando pull em lugar nenhum.
Existe uma opção de menu equivalente usando Git GUI?
Qualquer ajuda será apreciada.
Respostas:
Bem, achei esta postagem do fórum útil: http://git.661346.n2.nabble.com/No-quot-pull-quot-in-git-gui-td1121058.html
Uma busca e mesclagem deve ser feita.
Parece que você precisa ir ao menu "Remoto", depois na opção "Buscar de", no meu caso, origem, e depois ir ao "Menu Mesclar" e depois "Mesclar Local ...".
Também existe uma maneira de adicionar o comando pull ao git gui.
Ao abrir o GIT GUI, você pode abrir a guia Toolse escolher a Addopção.
Você pode inserir um nome e, como comando, insira git pull
Isso adicionará uma opção na Toolsguia. Basta clicar aqui e um git pull será feito.
Considerando esta resposta : não é porque um pull pode ser feito que deveria ser feito
git pull origin masterpois a sintaxe git pull <remote> <branch>assume que a origem é o local remoto de onde você deseja obter as alterações e também originestá definido como o nome no git gui em Remoto> Adicionar> em remoto detalhes o nome foi escrito como origem, caso contrário, faça as alterações necessárias conforme exigido para<remote> name
Esta entrada em .gitconfig funciona bem para mim:
[guitool "Pull"]
cmd = git pull $(git for-each-ref --format='%(upstream:short)' $(git symbolic-ref -q HEAD) | tr / " ")
Ele seleciona automaticamente o ramo remoto atual.