fixup! release-tools/publish-releases.sh: New script, to publish stag…

…ed releases
openssl · Aug 23, 2023 · f3c76c2 · f3c76c2
1 parent 289c6d4
commit f3c76c2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/release-tools/publish-releases.sh b/release-tools/publish-releases.sh
@@ -220,13 +220,13 @@ else
     srs=( "${staging_repositories[@]}" )
 fi
 for sr in "${srs[@]}"; do
-    if [ -z "$(git ls-remote "$sr" 2>/dev/null)" ]; then
+    if git ls-remote "$sr" >/dev/null 2>&1; then
         check_messages+=( "Can't access the staging repository '$sr'" )
     fi
 done
 
 if [ -n "$data_repository" ]; then
-    if [ -z "$(git ls-remote "$data_repository" 2>/dev/null)" ]; then
+    if git ls-remote "$data_repository" >/dev/null 2>&1; then
         check_messages+=( "Can't access the data repository '$data_repository'" )
     fi
 fi