Skip to content

[rules score] bump tooling repo - #811

Merged
hoe-jo merged 2 commits into
mainfrom
joho_bump_tooling_repo
Aug 13, 2026
Merged

[rules score] bump tooling repo#811
hoe-jo merged 2 commits 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

@hoe-jo
hoe-jo force-pushed the joho_bump_tooling_repo branch from 5412242 to 94d6010 Compare July 30, 2026 08:37
@hoe-jo
hoe-jo marked this pull request as draft August 3, 2026 12:29
@hoe-jo
hoe-jo force-pushed the joho_bump_tooling_repo branch 7 times, most recently from 13bf5cd to 8e258dc Compare August 5, 2026 15:27
LittleHuba
LittleHuba previously approved these changes Aug 5, 2026
@hoe-jo
hoe-jo marked this pull request as ready for review August 5, 2026 15:28
@hoe-jo
hoe-jo enabled auto-merge August 5, 2026 15:28
@hoe-jo
hoe-jo dismissed LittleHuba’s stale review August 5, 2026 17:05

The merge-base changed after approval.

@hoe-jo
hoe-jo force-pushed the joho_bump_tooling_repo branch 3 times, most recently from 70dab66 to d68184d Compare August 6, 2026 06:35
@hoe-jo
hoe-jo requested a review from LittleHuba August 6, 2026 06:49
Comment thread module_integration_test/MODULE.bazel Outdated
@hoe-jo
hoe-jo force-pushed the joho_bump_tooling_repo branch 5 times, most recently from cc78470 to 36107f4 Compare August 12, 2026 13:12
@hoe-jo
hoe-jo force-pushed the joho_bump_tooling_repo branch 3 times, most recently from 0458577 to 59f093e Compare August 12, 2026 14:24
@castler
castler force-pushed the joho_bump_tooling_repo branch from 59f093e to 41db5c4 Compare August 13, 2026 05:29
hoe-jo added 2 commits August 13, 2026 08:26
- simplify sphinx setup (reuse tooling repos implementation helpers)
- add skills from tooling repo
- adapt docs to "pass" additional validations
- downgrade to 0.8.0 api
- include bazel file for implementation
@hoe-jo
hoe-jo added this pull request to the merge queue Aug 13, 2026
Merged via the queue into main with commit 90cf2d2 Aug 13, 2026
13 checks passed
@hoe-jo
hoe-jo deleted the joho_bump_tooling_repo branch August 13, 2026 10:27
@github-project-automation github-project-automation Bot moved this from Backlog to Done in COM - Communication FT Aug 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants