Removing the push default as "simple" is not supported by older versions of git