Skip to content

chore: remove moon-pilot from tool dependencies#1573

Merged
peter-jerry-ye merged 1 commit intomainfrom
zihang/remove-pilot
Apr 27, 2026
Merged

chore: remove moon-pilot from tool dependencies#1573
peter-jerry-ye merged 1 commit intomainfrom
zihang/remove-pilot

Conversation

@peter-jerry-ye
Copy link
Copy Markdown
Contributor

@peter-jerry-ye peter-jerry-ye commented Mar 27, 2026

Summary

  • remove moon-pilot from reserved binary names to stop treating it as a protected install target
  • remove moon-pilot probing/output from moon version --all

Validation

  • cargo check -p moon -p moonutil

@semanticdiff-com
Copy link
Copy Markdown

semanticdiff-com Bot commented Mar 27, 2026

Review changes with  SemanticDiff

Changed Files
File Status
  crates/moon/src/cli/version.rs  24% smaller
  crates/moonutil/src/moon_dir.rs  0% smaller

@peter-jerry-ye peter-jerry-ye merged commit 8021b3d into main Apr 27, 2026
12 of 14 checks passed
@peter-jerry-ye peter-jerry-ye deleted the zihang/remove-pilot branch April 27, 2026 08:33
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