From 90f85953a1202dc4a2e682fa8069e0859f133c78 Mon Sep 17 00:00:00 2001 From: Jens Schauder Date: Mon, 12 Jul 2021 09:36:12 +0200 Subject: [PATCH] Update readme.md --- release-tools/readme.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/release-tools/readme.md b/release-tools/readme.md index 9808040..7e92283 100644 --- a/release-tools/readme.md +++ b/release-tools/readme.md @@ -1,3 +1,8 @@ +## General Notes + +* Use the command `help` to get a list of all commands in the release tools. +* After fixing a problem use `workspace cleanup` to cleanup any mess left behind by the previous step. + ## Setup ### Infrastructure requirements