Add link to log in to GitLab, reload after person returns to tab

portal/static/js/components/pages/Fachschaftssitzung.mjs

@@ -87,6 +87,27 @@ export const Fachschaftssitzung = {
                             name: "Beschlüsse als PDF herunterladen",
                         }),
                     ),
+                !latestProtocol.meta &&
+                    m(
+                        "p",
+                        m(ButtonAndTextLink, {
+                            href: "https://gitlab.cl.uni-heidelberg.de/fachschaft/protokolle",
+                            icon: "fa-brands fa-gitlab",
+                            name: "Bei GitLab anmelden, um Protokolle herunterzuladen",
+                            onclick: () => {
+                                setTimeout(() => {
+                                    document.addEventListener(
+                                        "visibilitychange",
+                                        () => {
+                                            if (!document.hidden) {
+                                                location.reload()
+                                            }
+                                        },
+                                    )
+                                }, 1000)
+                            },
+                        }),
+                    ),
             ]),
         ])
     },

portal/static/js/components/pieces/ButtonAndTextLink.mjs

@@ -5,6 +5,7 @@ export const ButtonAndTextLink = {
             {
                 href: vnode.attrs.href,
                 target: vnode.attrs.sameTab ? "" : "_blank",
+                onclick: vnode.attrs.onclick,
             },
             [
                 m(