filtrer les commits d'une branche technique

bash/src/pman.sh

@@ -33,7 +33,13 @@ Ces lignes ne seront pas incluses dans le fichier destination
 
 function _filter_rel() {
     # enlever les commits "techniques" générés par ce script
-    grep -vE '<pman>'
+    awk '
+BEGIN { tech = 0 }
+tech == 0 && $0 ~ /^\+.*<pman>/ { tech = 1; next }
+tech == 1 && $0 ~ /^\|/ { next }
+tech == 1 && $0 ~ /^\+/ { tech = 0 }
+$0 !~ /<pman>/ { print }
+'
 }
 
 function _filter_changes() {