From 5dfe62bb8b52c0174eedc9da15179f7c5c94cd0e Mon Sep 17 00:00:00 2001
From: fnetx <git@fralix.ovh>
Date: Wed, 17 Nov 2021 00:01:14 +0100
Subject: [PATCH] deployment script defaults to prod

---
 deploy.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/deploy.sh b/deploy.sh
index f7650c5..c465a0c 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -1,8 +1,9 @@
 #!/bin/bash -ex
 npm run build
 
+REPO=${1:-git@codeberg.org:docs/pages}
 rm -rf pages.git
-git clone $1 pages.git
+git clone $REPO pages.git
 rsync -av _site/* pages.git/
 ( cd pages.git && git checkout --orphan current )	## create new branch at origin
 ( cd pages.git && git add -A )				## add all generated files