From f71298b44906ea170a2ac25add3d2b58d6baf64a Mon Sep 17 00:00:00 2001 From: Fini Jastrow Date: Mon, 9 Oct 2023 11:15:25 +0200 Subject: [PATCH] Simplify link of github button [why] The link on the floating Github button explicitely opens the master branch. We could instead just link to the default branch (which is technically more correct anyhow). [how] Drop branch specification from URL and use default branch. Signed-off-by: Fini Jastrow --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index c47fac90f..f8a17073d 100755 --- a/index.html +++ b/index.html @@ -6,7 +6,7 @@
-
{% include topnav.html %}