Procédure pour merger la branche d'un repo distant.

Admettons que je travaille sur https://github.com/UtahDave/salt-vagrant-demo
"""
$ git clone https://github.com/UtahDave/salt-vagrant-demo.git
$ cd salt-vagrant-demo
"""
Je veux merger la branche 'vagrant_1.7.4' du fork https://github.com/cjhenck/salt-vagrant-demo qui intègre le patch qui m’intéresse dans ma branche 'master' locale.

J'ajoute le remote en indiquant la branche qui m'interesse avec -t. 'patch-vagrant-1.7.4' est ici une sorte de tag que je donne au remote.
"""
$ git remote add patch-vagrant-1.7.4 -t vagrant_1.7.4 https://github.com/cjhenck/salt-vagrant-demo.git
"""
Je me mets sur ma branche locale master si je n'y suis pas déja
"""
$ git checkout master
"""
Je merge le remote, que j'ai précédemment taggué 'patch-vagrant-1.7.4', dans master:
"""
$ git pull patch-vagrant-1.7.4 master
"""