diff --git a/git-filter-branch.sh b/git-filter-branch.sh
index 6b8b6a4f26a60c325a2c76e1d5b0e747b9d1d99b..195b5ef48ed3371b2010f9caf711e12089da9c06 100755 (executable)
--- a/git-filter-branch.sh
+++ b/git-filter-branch.sh
GIT_INDEX_FILE="$(pwd)/../index"
export GIT_INDEX_FILE
GIT_INDEX_FILE="$(pwd)/../index"
export GIT_INDEX_FILE
-git read-tree || die "Could not seed the index"
# map old->new commit ids for rewriting parents
mkdir ../map || die "Could not create map/ directory"
# map old->new commit ids for rewriting parents
mkdir ../map || die "Could not create map/ directory"
git mktag) ||
die "Could not create new tag object for $ref"
if git cat-file tag "$ref" | \
git mktag) ||
die "Could not create new tag object for $ref"
if git cat-file tag "$ref" | \
- grep '^-----BEGIN PGP SIGNATURE-----' >/dev/null 2>&1
+ sane_grep '^-----BEGIN PGP SIGNATURE-----' >/dev/null 2>&1
then
warn "gpg signature stripped from tag object $sha1t"
fi
then
warn "gpg signature stripped from tag object $sha1t"
fi