Repository navigation

modules: split module extensions out of repos.bzl into extensions.bzl - #10016

Merged

TrapsterDK merged 4 commits into

mainfrom

fix-9870-extensions-split

Nov 10, 2026

Merged

modules: split module extensions out of repos.bzl into extensions.bzl#10016
TrapsterDK merged 4 commits into
mainfrom
fix-9870-extensions-split

Commits on Nov 10, 2026
- modules: split module extensions out of repos.bzl into extensions.bzl (closes #9870)
  
  TrapsterDK
  and
  claude
  committed
  41070b9
- modules: update extension references after rebase; drop docstring-only dart and dotnet repos.bzl
  
  TrapsterDK
  and
  claude
  committed
  2508b0c
- wip: interrupted agent work, saved for handoff
  
  TrapsterDK
  and
  claude
  committed
  5bd59b7
- modules: regenerate family locks for the split extensions; restore toolchain_type labels (part of #9870)
  
  TrapsterDK
  and
  claude
  committed
  3bc7284