Move the canonical repo to Gitea; GitHub becomes a private archive

git.karti.ai/PIG/PIG-Demo is now the source of truth, public and anonymously
cloneable. Every self-link in the site and the docs repoints there — Gitea
serves file paths at /src/branch/main/, not /blob/main/, so those needed
rewriting rather than a hostname swap.

CI moves with it. An archived GitHub repo is read-only and its Actions stop
firing, so leaving the workflow there would have meant a repo whose gates
silently never run. .github/ is deleted rather than kept for reference: a
workflow that can never execute is worse than no workflow, because it looks
like coverage.

The Gitea workflow is not a copy. That runner is aarch64 and installs pnpm
through corepack from `packageManager` rather than pnpm/action-setup, uses
checkout@v4 and setup-node@v4, and fetches uv from astral.sh directly. It is
also configured `container.network: host` — nothing here needs a service
container, but the comment says so, because that setting cost the sibling repo
three failed runs.

The header and footer icon changed from the GitHub mark to a neutral one. A
GitHub logo pointing at a Gitea instance is a small lie about where the code
lives, on a site whose argument is that you can go and check it.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019mt6sHQHEnEYrJZvoMCJSB

src/components/demo/DemoErrorBoundary.tsx

@@ -3,7 +3,7 @@ import type { ErrorInfo, ReactNode } from 'react';
 import { AlertTriangle, ExternalLink, RotateCcw } from 'lucide-react';
 import { Button } from '@/components/ui/button';
 
-const REPO_URL = 'https://github.com/karti-ai/PIG-Demo';
+const REPO_URL = 'https://git.karti.ai/PIG/PIG-Demo';
 
 export interface DemoErrorBoundaryProps {
   children: ReactNode;

src/components/demo/DemoShell.tsx

@@ -35,7 +35,7 @@ import { RecordedBadge, TracePlayer } from './TracePlayer';
 import { VerifyBadge } from './VerifyBadge';
 import { formatOrDash, useIsDesktop } from './format';
 
-const REPO_BLOB = 'https://github.com/karti-ai/PIG-Demo/blob/main/';
+const REPO_BLOB = 'https://git.karti.ai/PIG/PIG-Demo/src/branch/main/';
 
 /** The tab the step-detail strip opens on. Kept out of the URL when it is this. */
 const DEFAULT_DETAIL_TAB = 'reasoning';

src/components/site/SiteFooter.tsx

@@ -1,5 +1,5 @@
 import { Link } from 'react-router-dom';
-import { Github } from 'lucide-react';
+import { GitBranch } from 'lucide-react';
 
 import { Separator } from '@/components/ui/separator';
 import { PIG_URL, REPO_URL } from '@/components/site/links';
@@ -24,8 +24,8 @@ export function SiteFooter() {
               target="_blank"
               rel="noreferrer noopener"
             >
-              <Github aria-hidden="true" className="size-4" />
-              Source on GitHub
+              <GitBranch aria-hidden="true" className="size-4" />
+              Source on Gitea
             </a>
             <Link
               className="tap inline-flex items-center py-1 text-fg underline-offset-4 hover:text-accent-fg hover:underline"

src/components/site/SiteHeader.tsx

@@ -1,6 +1,6 @@
 import * as React from 'react';
 import { Link } from 'react-router-dom';
-import { ArrowRight, ArrowUpRight, Github, Menu } from 'lucide-react';
+import { ArrowRight, ArrowUpRight, GitBranch, Menu } from 'lucide-react';
 
 import { listDemos } from '@/lib/demo-kit/registry';
 import type { DemoMeta } from '@/lib/demo-kit/types';
@@ -440,8 +440,8 @@ function MobileNav({
             rel="noreferrer noopener"
             className="tap flex items-center justify-between border-b border-border py-3 text-sm font-medium text-fg"
           >
-            Source on GitHub
-            <Github aria-hidden="true" className="size-4 text-muted" />
+            Source on Gitea
+            <GitBranch aria-hidden="true" className="size-4 text-muted" />
           </a>
 
           <div className="flex items-center gap-1 pt-3">
@@ -534,9 +534,9 @@ export function SiteHeader() {
                 href={REPO_URL}
                 target="_blank"
                 rel="noreferrer noopener"
-                aria-label="Source on GitHub"
+                aria-label="Source on Gitea"
               >
-                <Github aria-hidden="true" />
+                <GitBranch aria-hidden="true" />
               </a>
             </Button>
           </div>

src/components/site/links.tsx

@@ -2,7 +2,7 @@
  * The three off-site destinations the chrome links to, in one place so the
  * header and the footer can never disagree about them.
  */
-export const REPO_URL = 'https://github.com/karti-ai/PIG-Demo';
+export const REPO_URL = 'https://git.karti.ai/PIG/PIG-Demo';
 export const PIG_URL = 'https://primeintellectgrowth.com';
 export const VERIFIERS_WORDLE_URL =
   'https://github.com/PrimeIntellect-ai/verifiers/tree/main/environments/wordle';

src/content/evidence.ts

@@ -125,7 +125,7 @@ export const optimalPlay = {
 
 /** Commands anyone can run against a clone of this repository. */
 export const reproduce = {
-  clone: 'git clone https://github.com/karti-ai/PIG-Demo',
+  clone: 'git clone https://git.karti.ai/PIG/PIG-Demo',
   install: 'cd PIG-Demo && uv sync --all-packages',
   evaluate: 'uv run vf-eval wordle-five -n 8',
   conformance: 'pnpm conformance',

src/demos/wordle/demo.tsx

@@ -43,7 +43,7 @@ export default defineDemo<BoardState>({
       },
       {
         label: 'Our word lists and how they were built',
-        href: 'https://github.com/karti-ai/PIG-Demo/blob/main/envs/wordle_five/words/PROVENANCE.md',
+        href: 'https://git.karti.ai/PIG/PIG-Demo/src/branch/main/envs/wordle_five/words/PROVENANCE.md',
       },
     ],
   },

src/pages/NotFound.tsx

@@ -102,7 +102,7 @@ export default function NotFound() {
             Honesty
           </Link>
           <a className={s.btnSecondary} href={REPO_URL} rel="noreferrer noopener" target="_blank">
-            The source on GitHub
+            The source
           </a>
         </div>
       </div>

src/router.tsx

@@ -111,7 +111,7 @@ function describeError(error: unknown): { heading: string; body: string; detail?
   if (error instanceof Error) {
     return {
       heading: 'This page failed to load',
-      body: 'The rest of the site still works. If this keeps happening, the source is on GitHub and the issue is reproducible from it.',
+      body: 'The rest of the site still works. If this keeps happening, the source is public and the issue is reproducible from it.',
       detail: error.message,
     };
   }