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)
committerSebastien Robin <seb@nexedi.com>
Thu, 10 May 2012 12:46:18 +0000 (14:46 +0200)
commit349522b69a12a09642a9f03f5c97bb478a752bfd
tree009b0a25456f7a124319146f794f1d8b3675f018
parent33118bed5232028be5f9d2c0d7550936c297542b
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).
software/erp5/software.cfg
software/erp5scalabilitytestbed/software.cfg
software/erp5testnode/software.cfg
software/nosqltestbed/software.cfg
software/pulse/software.cfg
software/testnode/software.cfg