Robin Rosenberg <robin.rosenberg.lists@xxxxxxxxxx> writes: > tisdag 16 oktober 2007 skrev David Kastrup: >> "David Symonds" <dsymonds@xxxxxxxxx> writes: >> >> > On 16/10/2007, David Kastrup <dak@xxxxxxx> wrote: >> >> Geert Bosch <bosch@xxxxxxxxxxx> writes: >> >> >> >> > 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. >> >> >> >> But it is an _action_, while "good" and "bad" are properties. >> > >> > "skipped", then. >> >> "good" and "bad" are descriptive. "to be skipped" would be necessary >> to fit it. > > Yet another very short word: void. It is not "yet another": I already explained why it does not fit. -- David Kastrup - 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
