pw-pull: cut off at 'Please consider'

Alexei sent a PR without the --- delimiter, handle that better.

Signed-off-by: Jakub Kicinski <kuba@kernel.org>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>

1 files changed, 4 insertions, 1 deletions

diff --git a/pw-pull b/pw-pull
index 93fda0d..792b0a3 100755
--- a/pw-pull
+++ b/pw-pull
@@ -74,7 +74,10 @@ if [ "$significant_lines" -le 1 ]; then
     # Construct the message from email body if tag is empty
     pull_msg=$(echo "$pull_json" |
 		   jq -r '.content' |
-		   awk 'BEGIN {e=0} /^---/ {e=1} {if(!e) print}')
+		   awk 'BEGIN {e=0}
+                        /^---/ {e=1}
+                        /^Please consider/ {e=1}
+                        {if(!e) print}')
 
     git commit --amend --signoff -F- <<EOF
 $merge_header