$ git ls-remote "https://github.com/$repo.git" "refs/tags/$tag"
Even though the grep and sed are not very readable this was very useful way to avoid yet another tool!