Git: Added push.default=simple once again