filter out more trash from summaries

diff --git a/make_summ b/make_summ
index 28e340824762603b85ce6b24ec7100a82f886415..d8398285505d2b5771040f5652ab88fde186df1e 100755 (executable)
--- a/make_summ
+++ b/make_summ
@@ -1,5 +1,5 @@
 #!/bin/bash
 
-egrep '(git (cherry|rm|reset|checkout|quiltimport))|Merging|Applying|CONFLICT|Revert|Created commit' merge.log | egrep -v '(reset HEAD\^|^Created commit [0-9a-f]*: Merge (branch|commit))' >summ
+egrep '(git (cherry|rm|reset|checkout|quiltimport))|Merging|Applying|CONFLICT|Revert|Created commit' merge.log | egrep -v '(reset HEAD\^|^Created commit [0-9a-f]*: Merge (branch|commit)|mark the corrected paths)' >summ
 
 exit 0