diff --git a/.github/helpers/deploy.sh b/.github/helpers/deploy.sh index 8e83a14..addab6e 100755 --- a/.github/helpers/deploy.sh +++ b/.github/helpers/deploy.sh @@ -21,7 +21,7 @@ git clone --depth 1 --branch '$ref' https://github.com/'$repo'.git $source_repo urbit_repo=$(mktemp --dry-run /tmp/repo.urbit.XXXXXXXXX) git clone --depth 1 https://github.com/urbit/urbit.git $urbit_repo -b '$URBIT_REPO_TAG' --single-branch cd $source_repo -cd /home/urbit || return +cd /urbit || return curl -s --data '\''{"source":{"dojo":"+hood/mount %'$desk'"},"sink":{"app":"hood"}}'\'' http://localhost:12321 rsync -avL --delete $urbit_repo/pkg/base-dev/ '$folder' rsync -avL $source_repo/desk/ '$folder'