Fix number of modules for mod:all

Co-authored-by: Tobias Ribizel <ribizel@kit.edu>
ginkgo-project · Nov 24, 2020 · 81755d7 · 81755d7
1 parent 32e1bc4
commit 81755d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/label.sh b/.github/label.sh
@@ -52,7 +52,7 @@ LABELS=$LABELS$(label_match type:solver /solver/)
 LABELS=$LABELS$(label_match type:stopping-criteria /stop/)
 
 # if all mod: labels present: replace by mod:all
-LABELS=$(echo "$LABELS" | sed 's/.*mod:.*mod:.*mod:.*mod:.*mod:[^"]*"\]/[]+["mod:all"]/')
+LABELS=$(echo "$LABELS" | sed 's/.*mod:.*mod:.*mod:.*mod:.*mod:.*mod:[^"]*"\]/[]+["mod:all"]/')
 
 PATCH_BODY=$(jq -rn "{labels:($OLD_LABELS + $LABELS | unique)}")
 api_patch "$ISSUE_URL" "$PATCH_BODY" > /dev/null