chore: push tag task

joerdav · Mar 6, 2022 · 8d33c8c · 8d33c8c
1 parent 99d9ecf
commit 8d33c8c
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -197,8 +197,8 @@ Deploys a new tag for the repo.
 
 Requires: test
 ```
-export VERSION=`git rev-list --count HEAD`;
-echo Adding git tag with version v0.0.${VERSION};
-git tag v0.0.${VERSION};
-git push origin v0.0.${VERSION};
+export VERSION=`git rev-list --count HEAD`
+echo Adding git tag with version v0.0.${VERSION}
+git tag v0.0.${VERSION}
+git push origin v0.0.${VERSION}
 ```