From c70e0918f6942f7de8d7ba42062998c8e7612d3b Mon Sep 17 00:00:00 2001
From: Ludee <Ludwig.Huelk@rl-institut.de>
Date: Thu, 18 Aug 2022 14:47:12 +0200
Subject: [PATCH] Remove CI section #11

---
 RELEASE_PROCEDURE.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/RELEASE_PROCEDURE.md b/RELEASE_PROCEDURE.md
index 807f199..2cee272 100644
--- a/RELEASE_PROCEDURE.md
+++ b/RELEASE_PROCEDURE.md
@@ -57,7 +57,6 @@ It always has the format `YYYY-MM-DD`, e.g. `2022-05-16`.
     * Update `version`
     * Update `download_url` (.../v0.5.1.tar.gz)
 
-
 ### 6. 🐙 Create a `Release Pull Request`
 * Use `📝PR_TEMPLATE_RELEASE` (❗ToDo❗)
 * Merge `release` into `production` branch