Rudder tools

When installing a server on debian wheezy using rudder-tests :

==> debian_server: error: Malformed value for push.default: simple
==> debian_server: error: Must be one of nothing, matching, tracking or current.
==> debian_server: fatal: bad config file line 11 in /root/.gitconfig
==> debian_server: Setting up ca-certificates-java (20121112+nmu2) ...
==> debian_server: dpkg: error processing rudder-webapp (--configure):
==> debian_server:  subprocess installed post-installation script returned error exit status 128
==> debian_server: dpkg: dependency problems prevent configuration of rudder-server-root:
==> debian_server:  rudder-server-root depends on rudder-webapp (= 2.11.11-wheezy0); however:
==> debian_server:   Package rudder-webapp is not configured yet.
==> debian_server: 
==> debian_server: dpkg: error processing rudder-server-root (--configure):
==> debian_server:  dependency problems - leaving unconfigured

wheezy provides git 1.7.10.4, whereas the simple mode has been added in 1.7.11.

We should change the push mode in the gitconfig or remove this configuration and let git choose its default.