From f0fecc0aab8be38952acf79d3f660041910a8a2c Mon Sep 17 00:00:00 2001
From: Oliver Davies <oliver@oliverdavies.uk>
Date: Mon, 5 Jul 2021 20:14:18 +0100
Subject: [PATCH] Add a command to pull the latest Docker images

---
 workspace.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/workspace.yml b/workspace.yml
index 0647163f..3b82909e 100644
--- a/workspace.yml
+++ b/workspace.yml
@@ -20,6 +20,15 @@ command('docker image build <git_commit>'):
     run docker image build -f tools/docker/images/Dockerfile --target=production -t @('docker.repository'):${GIT_COMMIT_SHA} .
     run docker image build -f tools/docker/images/Dockerfile --target=production -t @('docker.repository'):latest .
 
+command('docker image pull <git_commit>'):
+  env:
+    COMPOSE_PROJECT_NAME: = @('namespace')
+    GIT_COMMIT_SHA: = input.argument('git_commit')
+  exec: |
+    #!bash(workspace:/)|@
+    run docker image pull @('docker.repository'):${GIT_COMMIT_SHA}
+    run docker image pull @('docker.repository'):latest
+
 command('docker image push <git_commit>'):
   env:
     COMPOSE_PROJECT_NAME: = @('namespace')