v format

Author: norareidy

.github/workflows/add-redirects.yml

@@ -36,7 +36,7 @@ jobs:
             new="${new#source}"
             new="${new%.txt}"
             #single quotes = ${var} rendered literally; double quotes = $var interpreted
-            renamed_redirects+='<li>[\\<v>-*]: ${prefix}/${version}'"$old"'/ -> ${base}/${version}'"$new"'/</li>'
+            renamed_redirects+='<li>[&lt;v&gt;-*]: ${prefix}/${version}'"$old"'/ -> ${base}/${version}'"$new"'/</li>'
           done
           echo "redirects=${renamed_redirects}" >> "$GITHUB_OUTPUT"
       - name: Parse deleted files
@@ -50,7 +50,7 @@ jobs:
             old=$(echo "$file" | cut -d',' -f1)
             old="${old#source}"
             old="${old%.txt}"
-            deleted_redirects+='<li>[\\<v>-*]: ${prefix}/${version}'"$old"'/ -> ${base}/${version}/</li>'
+            deleted_redirects+='<li>[&lt;v&gt;-*]: ${prefix}/${version}'"$old"'/ -> ${base}/${version}/</li>'
           done
           echo "redirects=${deleted_redirects}" >> "$GITHUB_OUTPUT"
       - name: Update the PR Description