diff options
| author | Johannes Sixt <j6t@kdbg.org> | 2009-12-15 09:42:06 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2009-12-15 16:20:23 -0800 |
| commit | 7ee6376938919d36a9f8d45dd3ae20f0cb494574 (patch) | |
| tree | a22eeff90f2216e7bcb2297d94ffbef1e9416e0f | |
| parent | 9861b644e045b5ee0e16dea65b44419205090960 (diff) | |
| download | git-7ee6376938919d36a9f8d45dd3ae20f0cb494574.tar.gz git-7ee6376938919d36a9f8d45dd3ae20f0cb494574.tar.xz | |
filter-branch: remove an unnecessary use of 'git read-tree'
The intent of this particular call to 'git read-tree' was to fill an
index. But in fact, it only allocated an empty index. Later in the
program, the index is filled anyway by calling read-tree with specific
commits, and considering that elsewhere the index is even removed (i.e.,
it is not relied upon that the index file exists), this first call of
read-tree is completely redundant.
Signed-off-by: Johannes Sixt <j6t@kdbg.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rwxr-xr-x | git-filter-branch.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/git-filter-branch.sh b/git-filter-branch.sh index 8ef1bde71..cfead301e 100755 --- a/git-filter-branch.sh +++ b/git-filter-branch.sh @@ -252,7 +252,6 @@ test -s "$tempdir"/heads || 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" |