check_repo.sh

#!/bin/bash
# Checks whether the repo is clean and whether tags are available (necessary to correctly produce vllm version at build time)

if ! git diff --quiet; then
	echo "Repo is dirty" >&2

	exit 1
fi

if ! git describe --tags; then
	echo "No tags are present. Is this a shallow clone? git fetch --unshallow --tags" >&2

	exit 1
fi