From 75f696eded7bcffc104884155075b52dc477ab74 Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Wed, 7 Jul 2021 08:13:41 -0400
Subject: [PATCH] Give the update tool a better name

---
 .gitlab-ci.yml                                      | 2 +-
 ci-tools/{deploy-to-staging => update-grid-servers} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename ci-tools/{deploy-to-staging => update-grid-servers} (100%)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d30190fb..3f57e1f1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -93,7 +93,7 @@ deploy-to-staging:
 
     # Update the deployment
     - |
-      ./ci-tools/deploy-to-staging "${KEY_PATH}" ${name}
+      ./ci-tools/update-grid-servers "${KEY_PATH}" ${name}
 
     # Remove the key from the filesystem to reduce the chance of unintentional
     # disclosure.  Overall our handling of this key is still not *particulary*
diff --git a/ci-tools/deploy-to-staging b/ci-tools/update-grid-servers
similarity index 100%
rename from ci-tools/deploy-to-staging
rename to ci-tools/update-grid-servers
-- 
GitLab