You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: AGENTS.md
+4-4Lines changed: 4 additions & 4 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -13,7 +13,7 @@ Completion/build step
13
13
- Policy: All errors AND all warnings must be fixed before you’re done. Treat any compiler warning as a failure and address it (rename unused vars with `_`, remove `mut`, delete dead code, etc.).
14
14
- Do not run additional format/lint/test commands on completion (e.g., `just fmt`, `just fix`, `cargo test`) unless explicitly requested for a specific task.
15
15
-***NEVER run rustfmt***
16
-
- Before pushing to `main`, run `./pre-release.sh` to mirror the release preflight (dev-fast build, CLI smokes, workspace nextest).
16
+
- Before pushing to `webui-main`, run `./pre-release.sh` to mirror the release preflight (dev-fast build, CLI smokes, workspace nextest).
17
17
18
18
Optional regression checks (recommended when touching the Rust workspace):
19
19
@@ -65,7 +65,7 @@ See `FORK.md` for fork branch + release policy.
65
65
When the user asks you to "push" local work:
66
66
67
67
- Never rebase in this flow. Do not use `git pull --rebase` or attempt to replay local commits.
68
-
- Prefer a simple merge of `origin/main` into the current branch, keeping our local history intact.
68
+
- Prefer a simple merge of `origin/webui-main` into the current branch, keeping our local history intact.
69
69
- If the remote only has trivial release metadata changes (e.g., `codex-cli/package.json` version bumps), adopt the remote version for those files and keep ours for everything else unless the user specifies otherwise.
70
70
- If in doubt or if conflicts touch non-trivial areas, pause and ask before resolving.
71
71
@@ -75,7 +75,7 @@ Quick procedure (merge-only):
75
75
- Review: `git --no-pager diff --stat` and `git --no-pager diff`
76
76
- Stage + commit: `git add -A && git commit -m "<descriptive message of local changes>"`
77
77
- Fetch remote: `git fetch origin`
78
-
- Merge without auto-commit: `git merge --no-ff --no-commit origin/main` (stops before committing so you can choose sides)
78
+
- Merge without auto-commit: `git merge --no-ff --no-commit origin/webui-main` (stops before committing so you can choose sides)
79
79
- Resolve policy:
80
80
- Default to ours: `git checkout --ours .`
81
81
- Take remote for trivial package/version files as needed, e.g.: `git checkout --theirs codex-cli/package.json`
@@ -139,7 +139,7 @@ This architecture separates concerns between execution logic (core), UI state ma
139
139
### Monitor Release Workflows After Pushing
140
140
141
141
- Use `scripts/wait-for-gh-run.sh` to follow GitHub Actions releases without spamming manual `gh` commands.
142
-
- Typical release check right after a push: `scripts/wait-for-gh-run.sh --workflow Release --branch main`.
142
+
- Typical release check right after a push: `scripts/wait-for-gh-run.sh --workflow Release --branch webui-main`.
143
143
- If you already know the run ID (e.g., from webhook output), run `scripts/wait-for-gh-run.sh --run <run-id>`.
144
144
- Adjust the poll cadence via `--interval <seconds>` (defaults to 8). The script exits 0 on success and 1 on failure, so it can gate local automation.
145
145
- Pass `--failure-logs` to automatically dump logs for any job that does not finish successfully.
0 commit comments