#!/bin/bash

# Git repository
REPO="https://sourceware.org/git/valgrind.git"

# Get tag name using 'git ls-remote'
TAG_NAME=$(git ls-remote --exit-code --refs --tags --sort='v:refname' "$REPO" | cut -d'/' -f3 | grep '^VALGRIND' | tail -n1)

# Trim prefix
VERSION=${TAG_NAME//VALGRIND_/}

# Replace '_' with '.'
VERSION=${VERSION//_/.}

echo "$VERSION"