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
"""

Pour ceux qui veulent installer spotify-beta sur une archi x86 (32bits) sur ArchLinux, vous trouverez un patch du PKGBUILD dans mon commentaire (chercher 'jeekajoo').

Cette version de spotify fonctionne parfaitement sur mon vénérable eeepc 1000HE, et est peut-être même encore plus fluide que les versions précédentes.

Quand $pkgver sera iso entre les 2 archis, on pourra envisager un package multiarchitecture. cf https://community.spotify.com/t5/Spotify-Announcements/Spotify-1-0-11-beta-for-Linux-is-out-with-32-bit-binaries/m-p/1180568#M7680