Revert "Remove push.default to simple because its the new default in git 2.0.0"

Without this a warning is shown.

This reverts commit 71cae37ba8aac230676d7b327a9ca4eadd94f956.