From 549d6d8fe644242ac05cd5b4096d3c66de667522 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexis=20M=C3=A9taireau?= <alexis@freedom.press>
Date: Tue, 1 Oct 2024 15:01:10 +0200
Subject: [PATCH] FIXUP: Print out if the image has been pulled fro the
 registry

---
 dev_scripts/env.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev_scripts/env.py b/dev_scripts/env.py
index 76b6a6f7f..e8a2a67a6 100755
--- a/dev_scripts/env.py
+++ b/dev_scripts/env.py
@@ -641,7 +641,7 @@ def build_dev(self, show_dockerfile=DEFAULT_SHOW_DOCKERFILE, sync=False):
         image = image_name_build_dev(self.distro, self.version)
 
         if sync and self.pull_image_from_registry(image):
-            # The image has been pulled from the registry, no need to build it.
+            print("Image has been pulled from the registry, no need to build it.")
             return
         elif sync:
             print("Image label not in registry, building it")