Revert "git: set push.default=simple"

This reverts commit 6621f51b3d7b6c2839c7ddb1115a3e9dd85e133d.