Skip to content

Commit 9300e64

Browse files
committed
Add generated interface edit hint
1 parent 5066abb commit 9300e64

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

moonbit-agent-guide/SKILL.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -162,6 +162,7 @@ my_module
162162
`pkg.generated.mbti` files are compiler-generated summaries of each package's public API surface.
163163
They provide a formal, concise overview of all exported types, functions, and traits without implementation details.
164164
They are generated using `moon info` and useful for code review. When you have a commit that does not change public APIs, `pkg.generated.mbti` files will remain unchanged, so it is recommended to put `pkg.generated.mbti` in version control when you are done.
165+
Do not modify `pkg.generated.mbti` directly, including whitespace-only cleanup; regenerate it with `moon info` and review its diff as the public API signal.
165166

166167
For IDE navigation and symbol lookup commands, see the dedicated `moon ide` section below.
167168

0 commit comments

Comments
 (0)