Merge branch 'jk/filter-branch-require-clean-work-tree' into maint
authorJunio C Hamano <gitster@pobox.com>
Sun, 16 Oct 2011 03:46:38 +0000 (20:46 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 16 Oct 2011 03:46:38 +0000 (20:46 -0700)
commit3197bd850b193a0d182674ab9705cf4acdc313e3
treeef5ff32e290de2ba0e028385fe148f9c87108bde
parentd7b7dd38497ff6877038400b8b009b26d19d8560
parent5347a50fec066845e5dfa34a53cbec1ea347641d
Merge branch 'jk/filter-branch-require-clean-work-tree' into maint

* jk/filter-branch-require-clean-work-tree:
  filter-branch: use require_clean_work_tree
git-filter-branch.sh