hernani/taler-monitoring
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

release 1.13.2: sticky version link to commit (no Forgejo tag 404)

Browse source 
Version badge href uses src/commit/<sha> for the exact run tree instead of
src/tag/vX.Y.Z, which 404s when the tag is not yet on the remote.
This commit is contained in:
Hernâni Marques 2026-07-19 02:40:36 +02:00
parent 1f1277b36a
commit aa854b034a
No known key found for this signature in database
GPG key ID: CB5738652768F7E9
5 changed files with 20 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
site-gen/console_to_html.py
View file

@ -42,6 +42,7 @@ def ui(lang: str, key: str, **kwargs) -> str:
"env_context_empty": "No run header in log",
"generated": "generated",
"version": "version",
"version_tree_link": "open this run’s git tree (commit)",
"source": "source",
"what_monitors": "What this monitors",
@ -134,6 +135,7 @@ def ui(lang: str, key: str, **kwargs) -> str:
"env_context_empty": "Pas d'en-tête d'exécution dans le journal",
"generated": "généré",
"version": "version",
"version_tree_link": "ouvrir l'arbre git de cette exécution (commit)",
"source": "source",
"what_monitors": "Ce que cette page contrôle",
@ -956,9 +958,11 @@ def sticky_bar_html(
ver_url = (suite_version_url or "").strip()
if ver:
if ver_url:
# href is usually src/commit/<sha> (exact run tree); label stays vX.Y.Z
version_html = (
f'<a class="version-link" href="{html.escape(ver_url)}" '
f'title="{html.escape(ui(lang, "version"))} {html.escape(ver)}" '
f'title="{html.escape(ui(lang, "version"))} {html.escape(ver)}'
f' · {html.escape(ui(lang, "version_tree_link"))}" '
f'rel="noopener noreferrer">{html.escape(ver)}</a>'
)
else: