From 62823a94934e22fd33d8c3e6f3cf974b93ea5967 Mon Sep 17 00:00:00 2001 From: Ben Sturmfels Date: Wed, 13 Mar 2024 14:26:41 +1100 Subject: [PATCH] Rename `bin/deploy.sh` to `bin/deploy` --- bin/{deploy.sh => deploy} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename bin/{deploy.sh => deploy} (100%) diff --git a/bin/deploy.sh b/bin/deploy similarity index 100% rename from bin/deploy.sh rename to bin/deploy