Merge pull request 'Lint med portal lint v0.6.0' (#6) from portal-lint into main

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

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

@@ -14,14 +14,14 @@ jobs:
       - name: checkout
         run: |
           rm -rf checkout && git clone --depth 1 "${{ github.server_url }}/${{ github.repository }}.git" checkout
-      # iris er portalens lint. Den skal stå på samme versjon som
-      # portalen vel-et kjører (PORTAL_RELEASE i infrastructure/.env).
+      # Linten er portalen selv (`portal lint`), på samme versjon som
+      # den vel-et kjører (PORTAL_RELEASE i infrastructure/.env).
       - name: lint
         env:
-          IRIS_RELEASE: v0.5.10
+          PORTAL_RELEASE: v0.6.0
         run: |
-          curl -sfL "https://project.uhhm.no/uhhm/iris/releases/download/$IRIS_RELEASE/iris" -o iris && chmod +x iris
-          ./iris check --path checkout/questions
+          curl -sfL "https://project.uhhm.no/uhhm/portal/releases/download/$PORTAL_RELEASE/portal" -o portal && chmod +x portal
+          ./portal lint --path checkout/questions
       # Vel-et har sin egen NATS nå, på 4223. 4222 er Klingenberg Byggs
       # felles buss, og en reload dit når ikke lenger fram til dette
       # nettstedet. Bussen krever passord; det ligger som repo-