mirror of https://github.com/zulip/zulip.git
Rename purge-deployments to purge-old-deployments.
Since this is a user-facing script, we should make it more clear about what it does. (imported from commit eecaed8462a92fe7c688df5c32fea2e088b25058)
This commit is contained in:
parent
c828057986
commit
adc5771062
|
@ -60,4 +60,4 @@ subprocess.check_call(["./scripts/restart-server"])
|
|||
logging.info("Deployment complete")
|
||||
shutil.rmtree(LOCK_DIR)
|
||||
|
||||
subprocess.check_call(["./scripts/purge-deployments"])
|
||||
subprocess.check_call(["./scripts/purge-old-deployments"])
|
||||
|
|
|
@ -63,4 +63,4 @@ subprocess.check_call(["./scripts/restart-server"])
|
|||
logging.info("Deployment complete")
|
||||
shutil.rmtree(LOCK_DIR)
|
||||
|
||||
subprocess.check_call(["./scripts/purge-deployments"])
|
||||
subprocess.check_call(["./scripts/purge-old-deployments"])
|
||||
|
|
Loading…
Reference in New Issue