I believe push default simple is the default in git now and does not need to be explicitly set.
> This mode is the default since Git 2.0, and is the safest option suited for beginners.
the docs checkout, ty
> This mode is the default since Git 2.0, and is the safest option suited for beginners.
the docs checkout, ty