git: push default to simple mode