From 67586c68dbaccdcf04cc0e35fd98290b2d0e1016 Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Wed, 3 Apr 2019 14:19:10 -0400
Subject: [PATCH] Get the image tagged with the right name for the push

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 0aa60faa1..2f5e2c146 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -443,7 +443,7 @@ jobs:
       - run:
           name: "Build Debian 9 image"
           command: |
-            docker build -t tahoe-lafs/ci-debian-9:latest -f ~/project/.circleci/Dockerfile.debian-9 .
+            docker build -t tahoelafsci/debian:9 -f ~/project/.circleci/Dockerfile.debian-9 .
       - run:
           name: "Push Debian 9 image"
           command: |