Adopting push.default = simple for git (wow, this is meta)