Merge branch 'jn/cherry-pick-refresh-index'
commit5eee142c89ee4964c9ea4ae1b2fa8344036a7efb
authorJunio C Hamano <gitster@pobox.com>
Tue, 30 Nov 2010 01:52:34 +0000 (29 17:52 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 30 Nov 2010 01:52:34 +0000 (29 17:52 -0800)
tree2d114ae692ac53034a4353e80f44e62598ed1d9a
parentd7f4809bc5ceaef14420be57aecbdf8280fac81c
parentf6ce1f25885f3db71935b201c5e3c858eb993f5c
Merge branch 'jn/cherry-pick-refresh-index'

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