summary: update

diff --git a/summary b/summary
index cdb87836ecfe10b7e0f02118433412114df005ea..a0488bd0771e327b66b2f28b42a56810ca4a007a 100755 (executable)
--- a/summary
+++ b/summary
@@ -19,7 +19,9 @@ plog()
 
 patch_and_sha_ids()
 {
-       echo "$*" | xargs -r -n 1 git diff-tree -p | git patch-id | sort
+       for id in $*; do
+               git diff-tree -p "$id" | git patch-id | head -n 1
+       done | sort
 }
 
 patch_ids()