Ondřej Bílka <neleai@xxxxxxxxx> writes: > If grepping random commit in history is important use case then keeping > db information in history makes sense. Otherwise just having database > for current version and updating it on the fly as version changes is > enough. Will you reindex every time I do "git checkout next; git checkout master"? -- 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