From 3e427fd42f5214f214cb2cdd8591e4668fe0858b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20M=C3=A4der?= Date: Wed, 6 Oct 2021 17:02:05 +0200 Subject: [PATCH] Updated Release (markdown) --- Release.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Release.md b/Release.md index 7cf30aa..0bb1b3c 100644 --- a/Release.md +++ b/Release.md @@ -23,7 +23,7 @@ Now another maintainer has to approve the PR. ## Make the release (mostly automatically) The release script automates the merging and tagging and pushing. -It tried to be as safe as possible to use. +It tries to be as safe as possible to use. E.g. it checks that there are no pending changes in the current repository. 1. Run `./release.sh` in the `develop` branch.