Portal v0.6.13: innlogget-linjen ved ordmerket; innloggede blir ikke spurt om navn og e-post

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GT37Z1Xtfd9pUuQtMTg6Yt

.gitea/workflows/lint-and-reload.yml

@@ -13,7 +13,7 @@ jobs:
       # (PORTAL_RELEASE in deploy.yml).
       - name: lint
         env:
-          PORTAL_RELEASE: v0.6.11
+          PORTAL_RELEASE: v0.6.13
         run: |
           curl -sfL "https://project.uhhm.no/uhhm/portal/releases/download/$PORTAL_RELEASE/portal-x86_64-linux" -o portal && chmod +x portal
           ./portal lint --path checkout/questions