Skip to content

[rules score] bump tooling repo - #811

Open
hoe-jo wants to merge 1 commit into
mainfrom
joho_bump_tooling_repo
Open

[rules score] bump tooling repo#811
hoe-jo wants to merge 1 commit into
mainfrom
joho_bump_tooling_repo

Conversation

@hoe-jo

@hoe-jo hoe-jo commented Jul 30, 2026

Copy link
Copy Markdown
Contributor
  • simplify sphinx setup (reuse tooling repos implementation helpers)
  • add skills from tooling repo
  • adapt docs to "pass" additional validations

- simplify sphinx setup (reuse tooling repos implementation helpers)
- add skills from tooling repo
- adapt docs to "pass" additional validations
@hoe-jo
hoe-jo force-pushed the joho_bump_tooling_repo branch from 5412242 to 94d6010 Compare July 30, 2026 08:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Backlog

Development

Successfully merging this pull request may close these issues.

1 participant