Re: Git bisect does not find commit introducing the bug

Christian Couder <christian.couder@gmail.com> writes:

I think we need to clarify the documentation and ask you to stop using such fuzzy phrases like "assumptions" and "most of the time" ;-).

For bisection to work, "git bisect" requires a very simple thing, which is that your history is bisectable wrt one particular "trait", i.e. what you are interested in (e.g. the trait may be "the commit has this feature in a broken form").

What does it mean for a history to be "bisectable", then?

A bisectable history has commits with the "trait" and commits without the "trait". Given any commit with the "trait", all commits that are decendant of such commit must have the "trait". Also given any commit without the "trait", all commits that are ancestor of such a commit must not have the "trait".

And your goal is to find one commit with the "trait" whose direct parent commits all lack the "trait".

If and only if you can formulate your problem into the above form, "git bisect" can help you by not requiring you to check each and every commit in the history.

Depending on the way you define the "trait", your history may not be bisectable, but by formulating the "trait" carefully, many such history can be made bisectable. In the "Recently some commit broke feature X. Before then the feature used to work. In an ancient past, the feature did not even exist" example, if you set "trying to use feature X breaks" as the "trait", your history is not bisectable unless you ignore the ancient part that did not even have the feature. If you restate your "trait" to "feature X does not exist in a broken form", however, the history becomes bisectable.

Historically, we called commits with "trait" BAD and others GOOD, because bisection was used primarily to hunt for bugs. It may be easier to understand if the user thinks of commits without "trait" as OLD (i.e. commits in the older part of the history are not yet contaminated), and commits with "trait" as NEW (i.e. at some point, there is an event to introduce the "trait" and newer part of the history is contaminated by that event ever since).