Skip to content

Conversation

@mattvollmer
Copy link
Contributor

image

Copy link

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

- Remove mdbook workflow (.github/workflows/docs.yml)
- Remove mdbook-specific files (book.toml, SUMMARY.md)
- Remove mdbook build scripts (docs_build.sh, docs.sh)
- Update Makefile docs targets for Mintlify
- Fix formatting issues in docs

_Generated with mux_
- Remove docs build target (Mintlify is hosted, no local build)
- Use JSX comments for Mintlify MDX compatibility in system-prompt.md
- Update sync script to use JSX comment markers
- Add .prettierignore for system-prompt.md (prettier mangles JSX comments)
- Remove invalid comment from vim-mode.md

_Generated with mux_
@ammario ammario merged commit 0f2c6d4 into main Dec 4, 2025
17 checks passed
@ammario ammario deleted the matt/migrate-docs-to-mintlify branch December 4, 2025 21:47
ammario pushed a commit that referenced this pull request Dec 4, 2025
Follow-up to #913 - cleanup after Mintlify migration.

## Changes

- **Add docs link check to CI**: `make check-docs-links` runs `mintlify
broken-links` as part of `static-check`
- **Update docs/README.md**: Replace mdbook instructions with Mintlify
workflow
- **Update docs/AGENTS.md**: Reference `docs.json` instead of
`SUMMARY.md`, update tooling section
- **Fix .html links**: Remove `.html` suffix from all mux.coder.com
links (Mintlify uses clean URLs)
  - README.md: 8 links fixed
  - src/browser/utils/commands/sources.ts: keybinds link fixed

_Generated with mux_
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants