We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 30ee742 + e52f3af commit 7dae01fCopy full SHA for 7dae01f
.github/workflows/add-redirects.yml
@@ -85,7 +85,8 @@ jobs:
85
redirect='${prefix}/${version}'"$old"'/ -> ${base}/${version}/'
86
87
# if redirect not already in file, add to string to add to PR description
88
- if ! grep -q "$redirect" $REDIRECTS_FILE && [[ "$redirect" != *'${base}/${version}/' ]]; then
+ escaped_redirect=$(printf '%s\n' "$redirect" | sed 's/[.[\*^$()+?{}|\\]/\\&/g')
89
+ if ! grep -qE "${escaped_redirect}$" "$REDIRECTS_FILE"; then
90
deleted_redirects+="<li>[<v>-*]: $redirect</li>"
91
fi
92
done
0 commit comments