Re: [RFC] Faster git grep.
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jul 26, 2013, 01:28 UTC
- Message-ID
- <7vhafi3y99.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <20130725213100.GA28551@domone.kolej.mff.cuni.cz>
Ondřej Bílka <neleai@seznam.cz> 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"?