Allow use of a single Git clone for several branches.

This reinstates commit 53329ecc618abf4fd5e4a6644d76413c43ad7b92, but uses "git pull –all", instead of "git fetch –all", so that local tracking branches get updated too.

Created by  Ludovic Courtès  on April 12, 2012
DAKY4N64CDWYVPNGCNSWLI5UQFX45DUFLRLY7KGNYZSJLMP5BBPQC
Change contents