Skip to content

chore: deprecate micro - #1682

Merged
philclifford merged 1 commit into
wimpysworld:mainfrom
silentJET85:remove-micro
Feb 11, 2026
Merged

philclifford merged 1 commit into
wimpysworld:mainfrom
silentJET85:remove-micro

Conversation

@silentJET85

Copy link
Copy Markdown
Contributor

closes #1681

@cubic-dev-ai cubic-dev-ai Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

No issues found across 2 files

Confidence score: 5/5

  • Automated review surfaced no issues in the provided summaries.
  • No files require special attention.

Auto-approved: Small config change: commenting out 'micro' package from manifest and removing its package definition file. No destructive operations, no security/auth changes, no data modifications. Routine package.

@philclifford
philclifford merged commit 0b3dd0e into wimpysworld:main Feb 11, 2026
4 checks passed
@silentJET85
silentJET85 deleted the remove-micro branch February 12, 2026 15:41
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.

Micro is no longer building deb packages.

2 participants