From 7acebad756ec80125484a30747c5640eb71657f7 Mon Sep 17 00:00:00 2001 From: Alfonso Acosta Date: Wed, 8 Feb 2017 17:02:14 +0000 Subject: [PATCH] Push latest_release tag to Docker Hub on each release --- bin/release | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/bin/release b/bin/release index 4bb1c2b0e..24e8502f3 100755 --- a/bin/release +++ b/bin/release @@ -172,6 +172,8 @@ publish() { echo "== Tagging and pushing images on docker hub as user $DOCKERHUB_USER" $SUDO docker tag -f "$DOCKERHUB_USER"/scope "$DOCKERHUB_USER/scope:$VERSION" $SUDO docker push "$DOCKERHUB_USER/scope:$VERSION" + $SUDO docker tag -f "$DOCKERHUB_USER/scope:$VERSION" "$DOCKERHUB_USER/scope:latest_release" + $SUDO docker push "$DOCKERHUB_USER/scope:latest_release" echo "** Docker images tagged and pushed" echo "== Publishing pre-release on GitHub" @@ -205,6 +207,8 @@ publish() { echo "== Tagging and pushing images on docker hub as user $DOCKERHUB_USER" $SUDO docker tag -f "$DOCKERHUB_USER"/scope "$DOCKERHUB_USER/scope:$VERSION" $SUDO docker push "$DOCKERHUB_USER"/scope:$"VERSION" + $SUDO docker tag -f "$DOCKERHUB_USER/scope:$VERSION" "$DOCKERHUB_USER/scope:latest_release" + $SUDO docker push "$DOCKERHUB_USER/scope:latest_release" echo "** Docker images tagged and pushed" echo "== Publishing release on GitHub"