📝 README-DEV: Fix git push instructions

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