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 55
55
redirect='${prefix}/${version}'"$old"'/ -> ${base}/${version}'"$new"'/'
56
56
57
57
# if redirect not already in file, add to string to add to PR description
58
- if ! grep -q "$redirect" $REDIRECTS_FILE; then
58
+ if ! grep -qx "$redirect" $REDIRECTS_FILE; then
59
59
renamed_redirects+="<li>[<v>-*]: $redirect</li>"
60
60
echo "${renamed_redirects}"
61
61
fi
86
86
redirect='${prefix}/${version}'"$old"'/ -> ${base}/${version}/'
87
87
88
88
# if redirect not already in file, add to string to add to PR description
89
- if ! grep -q "$redirect" $REDIRECTS_FILE; then
89
+ if ! grep -qx "$redirect" $REDIRECTS_FILE; then
90
90
deleted_redirects+="<li>[<v>-*]: $redirect</li>"
91
91
echo "${deleted_redirects}"
92
92
fi
You can’t perform that action at this time.
0 commit comments