Merge branch 'jk/filter-branch-require-clean-work-tree'
authorJunio C Hamano <gitster@pobox.com>
Wed, 5 Oct 2011 19:35:55 +0000 (12:35 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 5 Oct 2011 19:35:55 +0000 (12:35 -0700)
commit9c140016508fe7329d5aa962b473d8e84af108b1
tree272d0bed97e4d5d269ce437cf0b8e54ab17f08dd
parentc672f01c0410eef621b0df3574bfcfe433139f04
parent5347a50fec066845e5dfa34a53cbec1ea347641d
Merge branch 'jk/filter-branch-require-clean-work-tree'

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