Re: [PATCH 1/3] rebase: introduce --reschedule-failed-exec

Hi Dscho, On Tue, Dec 11, 2018 at 2:14 AM Johannes Schindelin wrote: > > Hi Elijah, > > On Mon, 10 Dec 2018, Elijah Newren wrote: > > > On Mon, Dec 10, 2018 at 1:18 PM Johannes Schindelin via GitGitGadget > > wrote: > > > > > > @@ -1195,6 +1201,9 @@ int cmd_rebase(int argc, const char **argv, co

Re: [PATCH 1/3] rebase: introduce --reschedule-failed-exec

Hi Elijah, On Mon, 10 Dec 2018, Elijah Newren wrote: > On Mon, Dec 10, 2018 at 1:18 PM Johannes Schindelin via GitGitGadget > wrote: > > > > @@ -1195,6 +1201,9 @@ int cmd_rebase(int argc, const char **argv, const > > char *prefix) > > break; > > } > > > > + if (opt

Re: [PATCH 1/3] rebase: introduce --reschedule-failed-exec

On Mon, Dec 10, 2018 at 1:18 PM Johannes Schindelin via GitGitGadget wrote: > > From: Johannes Schindelin > > A common use case for the `--exec` option is to verify that each commit > in a topic branch compiles cleanly, via `git rebase -x make `. > > However, when an `exec` in such a rebase fails

[PATCH 1/3] rebase: introduce --reschedule-failed-exec

From: Johannes Schindelin A common use case for the `--exec` option is to verify that each commit in a topic branch compiles cleanly, via `git rebase -x make `. However, when an `exec` in such a rebase fails, it is not re-scheduled, which in this instance is not particularly helpful. Let's offe