From 5f5afe15404fe4f9cf896507e5dddcc92415e1bd Mon Sep 17 00:00:00 2001 From: Johannes Meyer Date: Wed, 6 Jul 2022 10:57:48 +0200 Subject: [PATCH] RELEASE.md: Update dev-docker example command --- RELEASE.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RELEASE.md b/RELEASE.md index c28863e..db94aeb 100644 --- a/RELEASE.md +++ b/RELEASE.md @@ -8,4 +8,4 @@ e.g. ## Docker Example - docker run -it -v $(pwd):/tmp/pwd -w /tmp/pwd -v $(realpath ~/.gitconfig):/tmp/user/.gitconfig -e "HOME=/tmp/user" -u $(id -u):$(id -g) dev-docker_web56 bin/make-release.sh 1.0.0 --no-tag + docker run -it -v $(pwd):/tmp/pwd -w /tmp/pwd -v $(realpath ~/.gitconfig):/tmp/user/.gitconfig -e "HOME=/tmp/user" -u $(id -u):$(id -g) dev-docker_web72 bin/make-release.sh 1.0.0 --no-tag