[beart]

I believe push default simple is the default in git now and does not need to be explicitly set.

[0123456789ABCDE]

> This mode is the default since Git 2.0, and is the safest option suited for beginners.

the docs checkout, ty