Skip to content

feat(mine): enrich decisions with GitHub PR text (kb mine --prs, ADR slice 2)#36

Merged
v0ropaev merged 1 commit into
masterfrom
feat/pr-mining
Jul 10, 2026
Merged

feat(mine): enrich decisions with GitHub PR text (kb mine --prs, ADR slice 2)#36
v0ropaev merged 1 commit into
masterfrom
feat/pr-mining

Commits

Commits on Jul 10, 2026