Felipe Contreras <felipe.contreras@xxxxxxxxx> writes: > On Thu, Jun 6, 2013 at 1:30 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: >> Felipe Contreras <felipe.contreras@xxxxxxxxx> writes: >> >>> Pretty much what it says on the tin. >> >> And a bit more, isn't it? >> >> The --keep-redundant-commits option implies the --allow-empty option >> and it was perfectly acceptable to give both. By making sure that >> only at most one of -k-r-d, -a-e or -s-e is given, this forbids that >> usage. >> >> "It is implied so there is no *need* to give it redundantly" is >> different from "It is implied so you shouldn't give it redundantly". > > Remove that line then. > >> Like 7 and 8 that adds --quiet/--skip, don't we want this also for >> revert? > > If we don't want --allow-empty in revert, we don't want --skip-empty > either. That is a separate patch. OK. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html