From: Junio C Hamano <hidden> Date: 2016-06-15 22:58:15
Ondřej Bílka [off-list ref] 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"?