From 82888f313715097d523a825167d732da424f6154 Mon Sep 17 00:00:00 2001 From: Michael Freno Date: Tue, 11 Aug 2026 12:16:24 -0400 Subject: [PATCH] =?UTF-8?q?docs:=20port=20is=20updated=20only=20by=20CI=20?= =?UTF-8?q?on=20push=20=E2=80=94=20drop=20manual=20regeneration=20usage=20?= =?UTF-8?q?note?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- port-to-omp.mjs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/port-to-omp.mjs b/port-to-omp.mjs index 3e0e8cf..66206ad 100644 --- a/port-to-omp.mjs +++ b/port-to-omp.mjs @@ -7,12 +7,12 @@ * --out) is a generated artifact. Every op asserts its target and fails * loudly on base drift — never silently producing a stale port. * - * Usage: - * bun port-to-omp.mjs # write ~/.omp/agent/extensions/pygenium - * bun port-to-omp.mjs --out # write elsewhere (CI: the omp repo clone) + * The port is updated ONLY by CI on push (see below) — never by hand; local + * edits to ~/.omp/agent/extensions/pygienium are overwritten by the next run. * * 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. + * runs this script into it (`bun port-to-omp.mjs --out `), then + * commits + pushes when the port changed. */ import {