On Mon, Jun 3, 2013 at 11:10 PM, Felipe Contreras <felipe.contre...@gmail.com> wrote: > On Mon, Jun 3, 2013 at 1:40 PM, Junio C Hamano <gits...@pobox.com> wrote: >> Felipe Contreras <felipe.contre...@gmail.com> writes: >> >>> Pretty much what it says on the tin. >>> >>> Signed-off-by: Felipe Contreras <felipe.contre...@gmail.com> >>> --- >>> Documentation/git-cherry-pick.txt | 3 +++ >>> builtin/revert.c | 2 ++ >>> sequencer.c | 6 ++++++ >>> sequencer.h | 1 + >>> t/t3508-cherry-pick-many-commits.sh | 13 +++++++++++++ >>> 5 files changed, 25 insertions(+) >>> >>> diff --git a/Documentation/git-cherry-pick.txt >>> b/Documentation/git-cherry-pick.txt >>> index c205d23..fccd936 100644 >>> --- a/Documentation/git-cherry-pick.txt >>> +++ b/Documentation/git-cherry-pick.txt >>> @@ -129,6 +129,9 @@ effect to your index in a row. >>> redundant commits are ignored. This option overrides that behavior >>> and >>> creates an empty commit object. Implies `--allow-empty`. >>> >>> +--skip-empty:: >>> + Instead of failing, skip commits that are or become empty. >> >> Not quite sure. Is this "instead of recording an empty commit," >> (which may or may not fail depending on the allow-empty settings)? > > We are explaining --skip-empty, not --allow-empty.
By the way, I guess both options are incompatible ? I think it would be nice to fail if both are specified. Antoine, -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html