adding missing docker pushes to release process

Azure · Dec 20, 2017 · 2a8f93c · 2a8f93c
1 parent 81461a5
commit 2a8f93c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -215,6 +215,8 @@ endif
 	docker pull $(RC_IMAGE_NAME)
 	docker tag $(RC_IMAGE_NAME) $(REL_IMAGE_NAME)
 	docker tag $(RC_IMAGE_NAME) $(REL_MUTABLE_IMAGE_NAME)
+	docker push $(REL_IMAGE_NAME)
+	docker push $(REL_MUTABLE_IMAGE_NAME)
 
 # ---------------------------------------------------------------------------- #
 # contrib/                                                                     #