Update git bare repository with a graceful way
authorLingchaox Xin <lingchaox.xin@intel.com>
Fri, 13 Sep 2013 07:09:30 +0000 (15:09 +0800)
committerEduard Bartosh <eduard.bartosh@intel.com>
Mon, 16 Sep 2013 08:34:21 +0000 (01:34 -0700)
commit5ada89219fa56119c751dc4f0f0116000cfce693
tree0c160bce54c32b4c94044c4e91d4a6c191f4b1f6
parent650c0a54b37b6c5a902c2058320f0bd40ce86586
Update git bare repository with a graceful way

Generally, `git fetch --all` will not synchronize local branches to
remote ones util maps local branches of the source to local branches of the
target. `git fetch --all` combined with `git clone --mirror`will end
this.

Change-Id: Ie799cfbf67a847b1ded54a6390844f9acd3ae342
Reviewed-on: https://otctools.jf.intel.com/review/6422
Tested-by: OTC Tools Tester <ed.bartosh@linux.intel.com>
Reviewed-by: Eduard Bartosh <eduard.bartosh@intel.com>
common/git.py