Skip to content

chore(docs): remove phase-1 copilot-vscode scratch artifacts#16

Merged
Jose-Sabater merged 1 commit into
mainfrom
chore/cleanup-docs-copilot-vscode
May 11, 2026
Merged

chore(docs): remove phase-1 copilot-vscode scratch artifacts#16
Jose-Sabater merged 1 commit into
mainfrom
chore/cleanup-docs-copilot-vscode

Conversation

@Jose-Sabater
Copy link
Copy Markdown
Member

Summary

The four files under `docs/copilot-vscode/` were dev-time scratch from before the adapter shipped:

  • `README.md` — manual walkthrough
  • `generate.ts` — tiny generator that derived JSON snippets from `PICKER_MODELS`
  • `insiders-settings.json` / `stable-settings.json` — emitted snippets

Now that the adapter exists in `src/setup/github-copilot-vscode.ts` and derives the same JSON at runtime, the generator is dead code and the snippets are a silent-drift hazard (no test enforces they stay in sync with `PICKER_MODELS`). The user-facing manual recipe already lives in opper-ai/mintlify-docs#65.

Also drops the now-broken `docs/copilot-vscode/README.md` pointer from the JSONC error message in `configureGitHubCopilotVSCode`.

Verified `/src` has no other references to `docs/` and nothing imports from the removed files.

Test plan

  • `npm run typecheck` clean
  • `npm test` — 375/375 passing

The four files under docs/copilot-vscode/ were dev-time scratch from
before the adapter existed: a manual setup walkthrough, a JSON
generator, and the two emitted settings snippets. The shipped adapter
in src/setup/github-copilot-vscode.ts now derives the same JSON from
PICKER_MODELS at runtime, so the generator is dead code and the
snippets would silently drift from the model list.

The user-facing manual recipe lives in mintlify-docs
(opper-ai/mintlify-docs#65), which is the right home for it.

Also drops the docs/ pointer from the JSONC error message in
configureGitHubCopilotVSCode since the README is gone.
@Jose-Sabater Jose-Sabater merged commit e39ad36 into main May 11, 2026
4 checks passed
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.

1 participant