push tags on release

This commit is contained in:
lesion 2023-02-24 11:40:36 +01:00
parent b654f29d8b
commit ccffe5f7b0
No known key found for this signature in database
GPG key ID: 352918250B012177

View file

@ -12,4 +12,6 @@ cp gancio-$RELEASE.tgz.sig releases/
mv gancio-$RELEASE.tgz.sig releases/latest.tgz.sig mv gancio-$RELEASE.tgz.sig releases/latest.tgz.sig
yarn doc yarn doc
rsync -a docs/_site/ --chown=www-data:www-data cisti.web:/var/www/gancio/ rsync -a docs/_site/ --chown=www-data:www-data cisti.web:/var/www/gancio/
git tag $RELEASE
git push --tags
cd docs cd docs