#!/bin/bash

last_patch=$(git tag | sort -V | tail -n1 | cut -d "." -f3)
git tag "1.0.$((last_patch + 1))"
git push gitlab main -o ci.skip
git push gitlab --tags
git push origin main
git push origin --tags