Adopted git's push.default to simple