Code

Merge branch 'jn/cherry-pick-refresh-index' into next
authorJunio C Hamano <gitster@pobox.com>
Wed, 17 Nov 2010 22:40:43 +0000 (14:40 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 17 Nov 2010 22:40:43 +0000 (14:40 -0800)
commit75e9103b911b94fdc973a19c19bfa74c298426de
treeaa4f8782abc327dda84884f0e7c0337ebebc8777
parentb8aee21efcb5c5989a06f636e8eaa0c6afb7ebbc
parentf6ce1f25885f3db71935b201c5e3c858eb993f5c
Merge branch 'jn/cherry-pick-refresh-index' into next

* jn/cherry-pick-refresh-index:
  cherry-pick/revert: transparently refresh index
builtin/revert.c