diff --git a/packaging/update-version b/packaging/push-new-version similarity index 88% rename from packaging/update-version rename to packaging/push-new-version index a4d2796..4742342 100755 --- a/packaging/update-version +++ b/packaging/push-new-version @@ -15,6 +15,7 @@ NEW_VERSION=$(date "+v%Y.%m.%d") CURRENT_VERSION=$(git describe --tags --abbrev=0) if [ $NEW_VERSION == $CURRENT_VERSION ]; then git tag --delete $CURRENT_VERSION + git push --delete origin $CURRENT_VERSION else git grep -l $CURRENT_VERSION | xargs sed -i "s/$CURRENT_VERSION/$NEW_VERSION/g" git diff @@ -22,3 +23,5 @@ else fi git tag $NEW_VERSION git log --max-count=1 +git push +git push --tags