Make download-latest.sh configurable

Make org and repo configurable in `download-latest.sh`.
homeport · Aug 2, 2024 · 43c3d6c · 43c3d6c
1 parent eface56
commit 43c3d6c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/download-latest.sh b/scripts/download-latest.sh
@@ -22,8 +22,8 @@
 
 set -euo pipefail
 
-ORG=homeport
-REPO=dyff
+ORG="${ORG:-homeport}"
+REPO="${REPO:-dyff}"
 
 if ! hash curl 2>/dev/null; then
   echo "Required tool curl is not installed."