From be76b31a6e29c3d854d6ee8ab5b15807b0077c4b Mon Sep 17 00:00:00 2001 From: Michael Freno Date: Mon, 10 Aug 2026 15:18:01 -0400 Subject: [PATCH] rename port to omp-pygienium (repo renamed) --- .gitea/workflows/port-to-omp.yml | 4 ++-- port-to-omp.mjs | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.gitea/workflows/port-to-omp.yml b/.gitea/workflows/port-to-omp.yml index c088191..e76320d 100644 --- a/.gitea/workflows/port-to-omp.yml +++ b/.gitea/workflows/port-to-omp.yml @@ -1,7 +1,7 @@ name: port-to-omp # Regenerate the omp port of pygenium from this repo and push it to -# Mike/omp-pygenium. +# Mike/omp-pygienium. # # Prerequisites on git.freno.me: # - an access token with write:repository scope, stored as the repo/org @@ -29,7 +29,7 @@ jobs: - name: Port to omp env: GITEA_TOKEN: ${{ secrets.GITEA_TOKEN }} - OMP_REPO: omp-pygenium + OMP_REPO: omp-pygienium run: | set -euo pipefail URL="https://oauth2:${GITEA_TOKEN}@git.freno.me/Mike/${OMP_REPO}.git" diff --git a/port-to-omp.mjs b/port-to-omp.mjs index ced35d4..fbfb705 100644 --- a/port-to-omp.mjs +++ b/port-to-omp.mjs @@ -3,7 +3,7 @@ * port-to-omp.mjs — regenerate the omp port of pygenium from this repo. * * The omp port is "base + patch layer"; this script IS the patch layer. This - * repo is the single source of truth; ~/.omp/agent/extensions/pygenium (or + * repo is the single source of truth; ~/.omp/agent/extensions/pygienium (or * --out) is a generated artifact. Every op asserts its target and fails * loudly on base drift — never silently producing a stale port. * @@ -11,7 +11,7 @@ * bun port-to-omp.mjs # write ~/.omp/agent/extensions/pygenium * bun port-to-omp.mjs --out # write elsewhere (CI: the omp repo clone) * - * CI: .gitea/workflows/port-to-omp.yml clones the omp-pygenium repo and + * CI: .gitea/workflows/port-to-omp.yml clones the omp-pygienium repo and * runs this script into it, then commits + pushes when the port changed. */ @@ -252,7 +252,7 @@ const PYGENIUM_TSCONFIG = `{ // ─── main ─────────────────────────────────────────────────────────────────── -const OUT_DEFAULT = join(homedir(), ".omp", "agent", "extensions", "pygenium"); +const OUT_DEFAULT = join(homedir(), ".omp", "agent", "extensions", "pygienium"); function portExtension() { const srcDir = import.meta.dir;