From a reading of the gate's documents (2026-10-21): - AGENTS.md: Steps 14 and 15 shown Pending while the Port and both sockets have carried live traffic since the gate was built → Done, with what carries them; "next build task" now points at the open items, the phase tables being complete. - README.md: the repository tree omitted azazel_processor, kushya_generator, mesorah, src/tools and scripts → listed, each in a line. - deploy/ARCHITECTURE.md: the judgment path holds no model, said in writing — the examination is Python patterns and Prolog rules, the judges consult that Prolog; kushya_generator (a fine-tuned model in this repo, not deployed, not wired) is an OFFERER whose output is examined, never a component the bedikah, the engine or a judge consults. The kohen is not the offerer. azazel_processor listed. - The map: the repository is public; eleven files named the ingress NLB's literal address and five the kohen's kubeconfig path. Docs now use the domains (git.bikoret.ch, bikoret.ch) or "<NLB-IP>" with the kubectl query that answers it; the kubeconfig is "$KUBECONFIG" / "$HOME/.kube/<your-cluster>.yaml". gitea-public-apply.sh takes NLB from the environment. None of it was a secret; all of it was a map. - OTP pin: checked, not changed — the segfault in the build log was a source-built OTP 26.2.1 on macOS; the image is hexpm's 26.2.1 with ERL_FLAGS +JMsingle. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
47 lines
1.5 KiB
YAML
47 lines
1.5 KiB
YAML
# Ingress for Gitea itself — public HTTPS at git.bikoret.ch
|
|
#
|
|
# Added 2026-10-19 so the Gitea MCP server can run in MCP OAuth mode:
|
|
# claude.ai and Claude Code send the user to Gitea's own OAuth2
|
|
# authorize page, which must be reachable over HTTPS at Gitea's ROOT_URL
|
|
# (gitea-public-patch.yaml sets ROOT_URL = https://git.bikoret.ch/).
|
|
#
|
|
# Gitea lives in namespace temple-council (Service gitea, 80 → 3000).
|
|
# The plain-HTTP TCP passthrough on :3000 and SSH on :22
|
|
# (ingress-tcp-services.yaml) stay as they are; this adds a third door.
|
|
#
|
|
# Prerequisites:
|
|
# 1. DNS: git.bikoret.ch → <NLB-IP> (Infomaniak zone)
|
|
# 2. ClusterIssuer letsencrypt-prod
|
|
---
|
|
apiVersion: networking.k8s.io/v1
|
|
kind: Ingress
|
|
metadata:
|
|
name: gitea
|
|
namespace: temple-council
|
|
labels:
|
|
app.kubernetes.io/name: gitea
|
|
annotations:
|
|
cert-manager.io/cluster-issuer: letsencrypt-prod
|
|
nginx.ingress.kubernetes.io/ssl-redirect: "true"
|
|
# git push of large packs; Gitea enforces its own limits
|
|
nginx.ingress.kubernetes.io/proxy-body-size: "0"
|
|
nginx.ingress.kubernetes.io/proxy-read-timeout: "600"
|
|
nginx.ingress.kubernetes.io/proxy-send-timeout: "600"
|
|
spec:
|
|
ingressClassName: nginx
|
|
tls:
|
|
- hosts:
|
|
- git.bikoret.ch
|
|
secretName: gitea-bikoret-tls
|
|
rules:
|
|
- host: git.bikoret.ch
|
|
http:
|
|
paths:
|
|
- path: /
|
|
pathType: Prefix
|
|
backend:
|
|
service:
|
|
name: gitea
|
|
port:
|
|
number: 80
|