Merge remote-tracking branch 'origin/main' into 1.18

This commit is contained in:
embeddedt 2023-04-25 14:41:48 -04:00
commit 644d7aaa6d
No known key found for this signature in database
GPG Key ID: A69433EC199B5613

View File

@ -4,4 +4,6 @@ git describe
echo -n "New version: "
read newtag
git tag -a $newtag -m "$newtag"
git push
git push --tags
./gradlew publishToModSites