From: Geert Bosch <bosch@adacore.com>
Date: Mon, 15 Oct 2007 20:33:47 GMT
Subject: Re: [PATCH 0/7] Bisect dunno
Message-ID: <0C82FD96-2CF9-4E66-91EB-DBC2CFF003E8@adacore.com>
In-Reply-To: <ee77f5c20710150453g1220d968k9a23f2b8329a67db@mail.gmail.com>

On Oct 15, 2007, at 13:53, David Symonds wrote:
> That's also why I suggested "skip"; you might not be able to test a
> particular commit, but you might also not *want* to test a particular
> commit for some reason.

Skip seems a great choice: it directly expresses the wish to
not consider a certain commit. The reason is unimportant.