Hacker News Reader

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