Merge branch 'jc/maint-refresh-index-is-optional-for-status' into maint
commit8f376a50ec6a125d4ac6786688cbfa5340dd59c0
authorJunio C Hamano <gitster@pobox.com>
Thu, 21 Jan 2010 04:25:11 +0000 (20 20:25 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 21 Jan 2010 04:25:11 +0000 (20 20:25 -0800)
treead466675c40734d8960b6ad9565ec52aedc704e6
parent9504f3d3d2e62cb6fba9e7c61c6fe69dec9053a4
parentab6854515ee2280f187fbc2ab08f9e9115438f3e
Merge branch 'jc/maint-refresh-index-is-optional-for-status' into maint

* jc/maint-refresh-index-is-optional-for-status:
  status: don't require the repository to be writable