Git push.default setting not yet supported on Ubuntu 12.04