git: push default should be the simple version. I don't do non-centralized development right now.