wavetable/tag.sh

10 lines
141 B
Bash
Raw Normal View History

2023-10-05 06:37:27 -07:00
#!/bin/bash -e
cd "$(dirname "$0")"
ROOT=$(pwd)
cd $ROOT
VER=`cat VERSION`
echo "Tagging [$VER]"
git tag "$VER" && git push origin "$VER"