File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 5555 redirect='${prefix}/${version}'"$old"'/ -> ${base}/${version}'"$new"'/'
5656
5757 # if redirect not already in file, add to string to add to PR description
58- if ! grep -qx "$redirect" $REDIRECTS_FILE; then
58+ if ! grep -q "$redirect" $REDIRECTS_FILE; then
5959 renamed_redirects+="<li>[<v>-*]: $redirect</li>"
6060 fi
6161 done
8585 redirect='${prefix}/${version}'"$old"'/ -> ${base}/${version}/'
8686
8787 # if redirect not already in file, add to string to add to PR description
88- if ! grep -qE "${ redirect//\//\\/}$ " $REDIRECTS_FILE; then
88+ if ! grep -q "$redirect" $REDIRECTS_FILE && [[ "$redirect" != *'${base}/${version}/' ]] ; then
8989 deleted_redirects+="<li>[<v>-*]: $redirect</li>"
9090 fi
9191 done
You can’t perform that action at this time.
0 commit comments