Repository navigation

HIP: refuse --drafter until the engine runs DFlash2 - #1044

Closed

ThinkOffApp wants to merge 5 commits into

ashhart:mainfrom

ThinkOffApp:hip-refuses-drafter

Closed

HIP: refuse --drafter until the engine runs DFlash2#1044
ThinkOffApp wants to merge 5 commits into
ashhart:mainfrom
ThinkOffApp:hip-refuses-drafter

Commits on Oct 18, 2026
- HIP: refuse --drafter until the engine runs DFlash2
  ThinkOffApp
  committed
  e86a138
- HIP drafter: one-line comment under 120 columns, as the lean check asks
  ThinkOffApp
  committed
  7ec02a2
Commits on Oct 19, 2026