git: default to simple for push