From 55d88310846edee2c41ac089793dae04cc3c58c3 Mon Sep 17 00:00:00 2001
From: Victor Lin <13424970+victorlin@users.noreply.github.com>
Date: Tue, 18 Oct 2022 00:16:07 +0000
Subject: [PATCH] [DROP] push final image only

---
 devel/copy-images | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/devel/copy-images b/devel/copy-images
index baaeee02..58eb82dc 100755
--- a/devel/copy-images
+++ b/devel/copy-images
@@ -78,15 +78,15 @@ copy-image() {
 
 # Copy $tag between registries.
 
-echo "Copying $registry_in/$NATIVE_BUILDER_IMAGE:$tag to $registry_out/$NATIVE_BUILDER_IMAGE:$tag."
-copy-image \
-    "$registry_in/$NATIVE_BUILDER_IMAGE:$tag" \
-    "$registry_out/$NATIVE_BUILDER_IMAGE:$tag"
-
-echo "Copying $registry_in/$EMULATED_BUILDER_IMAGE:$tag to $registry_out/$EMULATED_BUILDER_IMAGE:$tag."
-copy-image \
-    "$registry_in/$EMULATED_BUILDER_IMAGE:$tag" \
-    "$registry_out/$EMULATED_BUILDER_IMAGE:$tag"
+# echo "Copying $registry_in/$NATIVE_BUILDER_IMAGE:$tag to $registry_out/$NATIVE_BUILDER_IMAGE:$tag."
+# copy-image \
+#     "$registry_in/$NATIVE_BUILDER_IMAGE:$tag" \
+#     "$registry_out/$NATIVE_BUILDER_IMAGE:$tag"
+
+# echo "Copying $registry_in/$EMULATED_BUILDER_IMAGE:$tag to $registry_out/$EMULATED_BUILDER_IMAGE:$tag."
+# copy-image \
+#     "$registry_in/$EMULATED_BUILDER_IMAGE:$tag" \
+#     "$registry_out/$EMULATED_BUILDER_IMAGE:$tag"
 
 echo "Copying $registry_in/$FINAL_IMAGE:$tag to $registry_out/$FINAL_IMAGE:$tag."
 copy-image \