docs: automatically track latest versions (#1451)

This commit is contained in:
Ettore Di Giacinto 2023-12-17 13:02:13 -05:00 committed by GitHub
parent 3d83128f16
commit 2eeed2287b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 56 additions and 14 deletions

7
.github/bump_docs.sh vendored Executable file
View file

@ -0,0 +1,7 @@
#!/bin/bash
set -xe
REPO=$1
LATEST_TAG=$(curl -s "https://api.github.com/repos/$REPO/releases/latest" | jq -r '.name')
cat <<< $(jq ".version = \"$LATEST_TAG\"" docs/data/version.json) > docs/data/version.json