Stop using "git pull" and meaningless identity when updating.
authorVincent Pelletier <vincent@nexedi.com>
Tue, 24 Apr 2012 15:11:35 +0000 (17:11 +0200)
committerKazuhiko Shiozaki <kazuhiko@nexedi.com>
Thu, 7 Jun 2012 15:08:07 +0000 (17:08 +0200)
commit71edee177997990aee056bcbac824b1b20f18dfa
treedba9a612439317dc25c26e192f858e92c5dcc5da
parent1766ba21375249b8954f4d3b0c130b6e69addbe2
Stop using "git pull" and meaningless identity when updating.

We are never supposed to merge anything. We are supposed to just follow
upstream. pull merges, so it's just the wrong tool.
Instead, fetch and reset.
It is not a problem to always reset, as user already cannot rely on
repository's survival across updates: if there is any error reported by
git command, the repository will be wiped out. So resetting will not do
any more harm than what can already happen.
Also, properly quote paths to protect against spaces (in both command and
update-command).
stack/erp5.cfg
stack/nbd.cfg