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"