git: default to simple push