2022-01-07 02:29:58 -08:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2023-01-21 16:17:08 +01:00
|
|
|
set -e
|
2021-05-25 08:06:59 +08:00
|
|
|
|
2021-04-16 15:28:28 +08:00
|
|
|
echo "This script is only for developers who are publishing new builds on github. Most users don't need it"
|
|
|
|
|
|
2023-01-21 16:17:08 +01:00
|
|
|
VERSION=`bin/buildinfo.py long`
|
2021-04-16 15:28:28 +08:00
|
|
|
|
|
|
|
|
# Must have a V prefix to trigger github
|
2021-05-25 08:45:47 +08:00
|
|
|
git tag "v${VERSION}"
|
2021-12-02 19:40:40 -08:00
|
|
|
|
|
|
|
|
git push origin "v${VERSION}" # push the tag
|
2021-04-16 15:28:28 +08:00
|
|
|
|
|
|
|
|
echo "Tag ${VERSION} pushed to github, github actions should now be building the draft release. If it seems good, click to publish it"
|
