Hacer diff y merge con remote¶

Primero hay que obtener las diferencias

git fetch origin

y ahora ver las diferencias.

git difftool origin/master

Ahora hay que hacer merge, se puede usar merge o mergetool