Merge branch 'jn/cherry-pick-refresh-index' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 9 Dec 2010 18:36:51 +0000 (10:36 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 9 Dec 2010 18:36:51 +0000 (10:36 -0800)
commit6aa6a92fb61f0ba295b349222b8966c46ef0ba58
tree36d0f2610e844d52d269ee3845219b928f5e31a8
parent11cf80dc700ce79c87ff70e615aefbbe7f28af5b
parentf6ce1f25885f3db71935b201c5e3c858eb993f5c
Merge branch 'jn/cherry-pick-refresh-index' into maint

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