Repository navigation
Description
What is broken
basic: proxy port fallbacks (.github/workflows/proxy-port-fallbacks.yml → .github/scripts/check-proxy-port-fallbacks.sh) fails on every PR and on main:
::error::.opencode/opencode.jsonc has no {env:ANTIGRAVITY_DIRECT_PORT:-18751} baseURL — the fallback must match the antigravityDirectProxyPort definition (18751); a bare {env:ANTIGRAVITY_DIRECT_PORT} resolves to an empty port outside a home-manager shell (#434).
Because basic: proxy port fallbacks is the required check for the main merge queue (.github/ci-policy.md), no PR can currently merge.
Why
The guard table (check-proxy-port-fallbacks.sh, line ~57) still marks the antigravity-direct door has_config=yes:
"ANTIGRAVITY_DIRECT_PORT|antigravityDirectProxyPort|bin/antigravity-direct.mjs|yes"
But the provider was deliberately repointed in .opencode/opencode.jsonc on 2026-11-04 (opencode#1414 / #5483): antigravity-direct now rides the native in-fork provider (opencode#1457) and has no baseURL/apiKey, so the {env:ANTIGRAVITY_DIRECT_PORT:-18751} fallback no longer exists by design.
This is the same shape as the codex precedent already recorded in the script header: the door program still exists, only its opencode.jsonc provider was re-seated elsewhere, so the row keeps its script check and drops the config expectation.
Fix
One character-class change: set the antigravity-direct row's last field to no (keep the bin/antigravity-direct.mjs fallback check, which still passes), and update the retirement note in the script header to name the #1414/#5483 repoint. The :18751 door unit and bin/antigravity-direct.mjs retire later after the zero-traffic window; when the script retires too, the row goes away entirely.
Evidence
- main
ffc19be78:bash .github/scripts/check-proxy-port-fallbacks.sh→ exit 1 with the error above. - Confirmed on the merged tree of PR feat(id): resume tokens and bounded screen baselines — #805 Phase 2 #5036 (
queue/5906-805-screenpatch-phase-2) — the failure is not caused by that branch. - Reproduced in CI on run 41846464347 job 126632250062 (re-run after a runner-less cancellation).
Impact
Fleet-wide: it blocks the merge queue, not just one PR.
Activity
developing-today commentedon Nov 4, 2026
CODE-1338
developing-today commentedon Nov 5, 2026
🤖 Agent note · handed off
dezren39 commentedon Nov 5, 2026
🤖 Agent note · handed off
112 remaining items
dezren39 commentedon Nov 6, 2026
🤖 Agent note · handed off
opencode(lane row 3034, no session bound yet)dezren39 commentedon Nov 6, 2026
🤖 Agent note · handed off
opencodedezren39 commentedon Nov 6, 2026
🤖 Agent note · handed off (second cycle this shift)
opencodeagaindezren39 commentedon Nov 7, 2026
🤖 Agent note · handed off