From 19a7af861eab5e2e3e4965ec219c30eb0e79668c Mon Sep 17 00:00:00 2001
From: Marc Beninca <git@marc.beninca.link>
Date: Fri, 22 Mar 2024 23:09:21 +0100
Subject: [PATCH 1/5] env

---
 env | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 env

diff --git a/env b/env
new file mode 100644
index 0000000..dd3fd37
--- /dev/null
+++ b/env
@@ -0,0 +1 @@
+env | sort

From 3b15feb70cce7b35b9b6df6bc4d46b978b8c04c3 Mon Sep 17 00:00:00 2001
From: Marc Beninca <git@marc.beninca.link>
Date: Fri, 22 Mar 2024 23:16:42 +0100
Subject: [PATCH 2/5] exit

---
 env | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 env

diff --git a/env b/env
old mode 100644
new mode 100755

From 801eafa9a0117eff301375ee46cb09f8ee2b6b4c Mon Sep 17 00:00:00 2001
From: Marc Beninca <git@marc.beninca.link>
Date: Fri, 22 Mar 2024 23:19:54 +0100
Subject: [PATCH 3/5] workspace

---
 workspace | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 workspace

diff --git a/workspace b/workspace
new file mode 100755
index 0000000..817b2b8
--- /dev/null
+++ b/workspace
@@ -0,0 +1,2 @@
+apt-get install 'tree'
+tree -a "${GITHUB_WORKSPACE}"

From 15ee431bb46c36e9a27ab28cf992f004eecf6732 Mon Sep 17 00:00:00 2001
From: Marc Beninca <git@marc.beninca.link>
Date: Fri, 22 Mar 2024 23:34:01 +0100
Subject: [PATCH 4/5] branch

---
 branch | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 branch

diff --git a/branch b/branch
new file mode 100755
index 0000000..0eb9be4
--- /dev/null
+++ b/branch
@@ -0,0 +1,5 @@
+git clone \
+--branch "${GITHUB_REF_NAME}" \
+-- \
+"${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}" \
+'.'

From ff173f91a08211a9c32339ffa2fa1c13f5942c7c Mon Sep 17 00:00:00 2001
From: Marc Beninca <git@marc.beninca.link>
Date: Fri, 22 Mar 2024 23:45:25 +0100
Subject: [PATCH 5/5] sync

---
 sync | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 sync

diff --git a/sync b/sync
new file mode 100755
index 0000000..d06aaa5
--- /dev/null
+++ b/sync
@@ -0,0 +1,16 @@
+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}/"