From 4b8399fc52083224f4907c824501ce25cda1078a Mon Sep 17 00:00:00 2001
From: "Gerber, Mike" <mike.gerber@sbb.spk-berlin.de>
Date: Mon, 9 Mar 2020 18:26:40 +0100
Subject: [PATCH] =?UTF-8?q?=F0=9F=93=9D=20README-DEV:=20Fix=20git=20push?=
 =?UTF-8?q?=20instructions?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 README-DEV.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README-DEV.md b/README-DEV.md
index f445aba..896fc13 100644
--- a/README-DEV.md
+++ b/README-DEV.md
@@ -1,7 +1,7 @@
 Releasing
 ---------
 * `git tag -m 'v<version>' 'v<version>'`
-* `for r in origin github; git push -d $r stable; done`
+* `for r in origin github; do git push -d $r stable; done`
 * `git tag -fm 'stable' 'stable'`
-* `for r in origin github; git push --tags $r; done`
+* `for r in origin github; do git push --tags $r; done`
   * This triggers Travis builds