diff options
| author |  Junio C Hamano <junkio@cox.net> | 2005-10-04 00:40:59 -0700 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-10-04 00:40:59 -0700 |
| commit | b10c1a74f0edb7664f127a4f7308fb287beb5f01 (patch) | |
| tree | 1c99b28fb42cbe72701b88cfd95b6d7ff298b639 | |
| parent | Leave an empty line between log and sign-off. (diff) | |
| download | tgif-b10c1a74f0edb7664f127a4f7308fb287beb5f01.tar.xz | |
Remove useless use of sed in git-format-patch.
There was a leftover use of sed that attempted to remove the commit ID
output from git-diff-tree, which turned into an expensive no-op when
git-diff-tree output header format changed about three months ago.
Drop it.
Signed-off-by: Junio C Hamano <junkio@cox.net>
| -rwxr-xr-x | git-format-patch.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/git-format-patch.sh b/git-format-patch.sh index 525a2f2212..2844799535 100755 --- a/git-format-patch.sh +++ b/git-format-patch.sh @@ -128,10 +128,6 @@ whosepatchScript=' q }' -_x40='[0-9a-f][0-9a-f][0-9a-f][0-9a-f][0-9a-f]' -_x40="$_x40$_x40$_x40$_x40$_x40$_x40$_x40$_x40" -stripCommitHead='/^'"$_x40"' (from '"$_x40"')$/d' - git-cherry -v "$rev1" "$rev2" | while read sign rev comment do @@ -216,7 +212,7 @@ Date: '"$ad" echo git-diff-tree -p $diff_opts "$commit" | git-apply --stat --summary echo - git-diff-tree -p $diff_opts "$commit" | sed -e "$stripCommitHead" + git-diff-tree -p $diff_opts "$commit" case "$mbox" in t) |