diff --git a/branch b/branch deleted file mode 100755 index 0eb9be4..0000000 --- a/branch +++ /dev/null @@ -1,5 +0,0 @@ -git clone \ ---branch "${GITHUB_REF_NAME}" \ --- \ -"${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" \ -'.' diff --git a/env b/env deleted file mode 100755 index dd3fd37..0000000 --- a/env +++ /dev/null @@ -1 +0,0 @@ -env | sort diff --git a/sync b/sync deleted file mode 100755 index d06aaa5..0000000 --- a/sync +++ /dev/null @@ -1,16 +0,0 @@ -apt-get install 'rsync' - -mkdir --parents ~/.ssh -echo '${{secrets.cd}}' > ~/.ssh/id_ed25519 -chmod 400 ~/.ssh/id_ed25519 - -ssh \ --o StrictHostKeyChecking=accept-new \ -'cd@de.tilde.link' -- hostname - -rsync \ ---archive \ ---delete-before \ ---verbose \ -'out/' \ -"cd@de.tilde.link:/cd/${GITHUB_REF_NAME}/${GITHUB_REPOSITORY}/" diff --git a/workspace b/workspace deleted file mode 100755 index 817b2b8..0000000 --- a/workspace +++ /dev/null @@ -1,2 +0,0 @@ -apt-get install 'tree' -tree -a "${GITHUB_WORKSPACE}"