From 51d3070c6c1b962f954f1eba8e3b437c987a4258 Mon Sep 17 00:00:00 2001
From: Yegor Bugayenko <yegor256@gmail.com>
Date: Tue, 26 Sep 2023 15:31:23 +0300
Subject: [PATCH] #77 polish fix

---
 steps/polish.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/steps/polish.sh b/steps/polish.sh
index e5c5fd84..b14f7a5c 100755
--- a/steps/polish.sh
+++ b/steps/polish.sh
@@ -24,6 +24,10 @@ set -e
 set -o pipefail
 
 dir=${TARGET}/github
+if [ ! -e "${dir}" ]; then
+    echo "Nothing to polish, the directory is absent: ${dir}"
+    exit
+fi
 
 repos=$(find "${dir}" -maxdepth 2 -mindepth 2 -type d -exec realpath --relative-to="${dir}" {} \;)
 echo "${repos}" | while read -r repo; do