#85 extra check

yegor256 · Oct 2, 2023 · 7284d8e · 7284d8e
1 parent 32f656e
commit 7284d8e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/steps/polish.sh b/steps/polish.sh
@@ -31,6 +31,7 @@ fi
 
 repos=$(find "${dir}" -maxdepth 2 -mindepth 2 -type d -exec realpath --relative-to="${dir}" {} \;)
 echo "${repos}" | while read -r repo; do
+    if [ -z "${repo}" ]; then continue; fi
     if grep -Fxq "${repo}" "${TARGET}/repositories.csv"; then
         echo "Directory of ${repo} is already here"
     else