[release02] in hugo config, set version_name to 20.0 ()

Merging branch 'release02' into 'r20.0'. See merge request !1510

[release02] in hugo config, set version_name to 20.0 ()
e975e3bd · Wuttke, Joachim · f382123b · 15af365a · e975e3bd
Commit e975e3bd authored 2 years ago by Wuttke, Joachim
--- a/hugo/config.toml
+++ b/hugo/config.toml
@@ -19,7 +19,7 @@ PygmentsStyle = "vs"

  release_number = "20.0"
  # version name is either release_number or "git-main"
-  version_name = "git-main"
+  version_name = "20.0"

  recommended_python_major = "3"
  recommended_python_minor = "9"