Skip to content

Conversation

@hawkingrei
Copy link
Member

@hawkingrei hawkingrei commented Dec 17, 2025

What issue does this PR solve?

  • close #xxxx
  • to #xxxx

What is changed:

Supporting llms.txt can provide the content of the guide entirely to the LLM.

demo: https://hawkingrei.github.io/tidb-dev-guide/llms.txt

https://hawkingrei.github.io/tidb-dev-guide/llms-full.txt

Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR adds support for generating llms.txt output format from the TiDB Development Guide mdBook, enabling the guide's content to be consumed by LLMs.

  • Configures mdBook to output llms.txt formats in book.toml
  • Switches from pre-built mdBook action to cargo install for required plugins
  • Adds a new presubmit workflow to validate builds on pull requests

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File Description
book.toml Adds configuration for llms-txt and llms-text-full output plugins
.github/workflows/publish.yml Changes mdBook setup to cargo install to include llms-txt-tools plugin
.github/workflows/presubmit.yml Adds new presubmit workflow to test builds on pull requests

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@hawkingrei
Copy link
Member Author

/hold

Signed-off-by: Weizhen Wang <[email protected]>
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

Copilot reviewed 4 out of 4 changed files in this pull request and generated 4 comments.


💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Signed-off-by: Weizhen Wang <[email protected]>
@zhangyangyu zhangyangyu merged commit a3ead21 into pingcap:master Dec 17, 2025
1 check 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.

2 participants