From f64291c033feca24b907195cbe87f011b478a02a Mon Sep 17 00:00:00 2001
From: David Chamont <chamont@in2p3.fr>
Date: Fri, 26 Oct 2018 11:25:09 +0200
Subject: [PATCH] debug push_prod

---
 docker/push_prod.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/push_prod.sh b/docker/push_prod.sh
index cc7e2f5..14bbdf4 100755
--- a/docker/push_prod.sh
+++ b/docker/push_prod.sh
@@ -1,2 +1,2 @@
 #!/bin/bash
-docker push `cat image_dev.txt`
+docker push `cat image_prod.txt`
-- 
GitLab