Revert "Revert "Set git push default to simple."."

This reverts commit 73e6c7fcb7f7dd39b84dda273f8395fbd128f7dd.