filter-branch: also don't fail in map() if a commit cannot be mapped
commit3520e1e86878c6787c3abfe677e6472ce2c97f66
authorJohannes Sixt <johannes.sixt@telecom.at>
Wed, 6 Jun 2007 18:38:35 +0000 (6 20:38 +0200)
committerJunio C Hamano <gitster@pobox.com>
Wed, 6 Jun 2007 19:49:16 +0000 (6 12:49 -0700)
tree6cb404834d1eee587438759d5985906cffe0a446
parent2766ce28150597677bb91c424e6033a298c71510
filter-branch: also don't fail in map() if a commit cannot be mapped

The map() function can be used by filters to map a commit id to its
rewritten id. Such a mapping may not exist, in which case the identity
mapping is used (the commit is returned unchanged).

In the rewrite loop, this mapping is also needed, but was done
explicitly in the same way. Use the map() function instead.

Signed-off-by: Johannes Sixt <johannes.sixt@telecom.at>
Acked-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
git-filter-branch.sh