From 62823a94934e22fd33d8c3e6f3cf974b93ea5967 2024-03-13 03:26:41
From: Ben Sturmfels <ben@sturm.com.au>
Date: 2024-03-13 03:26:41
Subject: [PATCH] Rename `bin/deploy.sh` to `bin/deploy`

---

diff --git a/bin/deploy.sh b/bin/deploy
similarity index 100%
rename from bin/deploy.sh
rename to bin/deploy