add push-tag.sh script

2022-12-01 09:56:35 +01:00
parent 78f3ba4318
commit bd2f05e922
1 changed files with 7 additions and 0 deletions
--- a/push-tag.sh
+++ b/push-tag.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+git tag -d dev
+git push origin develop
+git tag dev
+git push origin dev --force
+