grep

Author: norareidy

.github/workflows/add-redirects.yml

@@ -85,7 +85,7 @@ jobs:
             redirect='${prefix}/${version}'"$old"'/ -> ${base}/${version}/'
                        
             # if redirect not already in file, add to string to add to PR description
-            if ! grep -qx "$redirect" $REDIRECTS_FILE; then 
+            if ! grep -qE "${redirect//\//\\/}$" "$REDIRECTS_FILE"; then
               deleted_redirects+="<li>[&lt;v&gt;-*]: $redirect</li>"
             fi
           done