From ed961c58dd81477870ce2c29de4f290498b10d94 Mon Sep 17 00:00:00 2001 From: Julian Mutter Date: Mon, 22 Jun 2026 08:37:16 +0200 Subject: [PATCH] Remove unneeded script --- hosting/deploy-docker.sh | 4 ---- 1 file changed, 4 deletions(-) delete mode 100755 hosting/deploy-docker.sh diff --git a/hosting/deploy-docker.sh b/hosting/deploy-docker.sh deleted file mode 100755 index 0eeca4236..000000000 --- a/hosting/deploy-docker.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/usr/bin/env sh - -docker build . -t gitlab.julian-mutter.de/julian/fdroid-frajul:latest -docker push gitlab.julian-mutter.de/julian/fdroid-frajul:latest