Browse Source

no dev, no rc

master
pvincent 4 years ago
parent
commit
920d8fc795
  1. 2
      tools/wget_semver

2
tools/wget_semver

@ -17,7 +17,7 @@ function usage {
function get_github {
release=$( git ls-remote --tags --sort="v:refname" \
git://github.com/$REPO_NAME \
| tail -n1 | cut -f2 | cut -d '/' -f3 )
| grep -v dev | grep -v rc | tail -n1 | cut -f2 | cut -d '/' -f3 )
release=${release%^\{\}} # remove extra characters ^{} from github
echo $release
}

Loading…
Cancel
Save