From ff49e4e38f25fcaa4ef547ef0194cb06fc6bc0ab Mon Sep 17 00:00:00 2001
From: Jean-Paul Calderone <exarkun@twistedmatrix.com>
Date: Wed, 3 Apr 2019 14:18:13 -0400
Subject: [PATCH] note a manual prereq

---
 .circleci/config.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index b1850321b..0aa60faa1 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -484,4 +484,7 @@ jobs:
             rm ~/secret-environment
 
             docker login -u ${TAHOELAFSCI_USERNAME} -p ${TAHOELAFSCI_PASSWORD}
+
+            # You have to create the debian repository (presumably via the
+            # Dockerhub web interface) before anything can be pushed to it.
             docker push ${TAHOELAFSCI_USERNAME}/debian:9