Repository navigation

Start selected repairs from the PR conversation - #46

Merged

omry merged 1 commit into

pr44from

Nov 1, 2026

Merged

Start selected repairs from the PR conversation#46
omry merged 1 commit into
pr44from
comment-repair

Commits on Oct 24, 2026
- Support selected repair commands in PR conversations
  omry
  committed
  475355e