Skip to content

Remove stale docs tree - #16

Merged
alessiodevoto merged 1 commit into
mainfrom
fix/remove-stale-docs-main
Jul 23, 2026
Merged

Remove stale docs tree#16
alessiodevoto merged 1 commit into
mainfrom
fix/remove-stale-docs-main

Conversation

@alessiodevoto

Copy link
Copy Markdown
Collaborator

Cherry-picks the stale docs cleanup from PR #14 onto main, since #14 landed on nooa-skill-renames after PR #13 was merged.

@cursor

cursor Bot commented Jul 23, 2026

Copy link
Copy Markdown

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.

@alessiodevoto

Copy link
Copy Markdown
Collaborator Author

Merging since it was merged already but in the wrong branch.

@alessiodevoto
alessiodevoto merged commit 3cd33cd into main Jul 23, 2026
@alessiodevoto
alessiodevoto deleted the fix/remove-stale-docs-main branch July 24, 2026 13:25
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