Skip to content

dev/repro-agent: give Linear tickets a real fetch path + follow linked GitHub issues - #4047

Merged
serena-ruan merged 3 commits into
mainfrom
repro-agent-linear
Aug 4, 2026
Merged

dev/repro-agent: give Linear tickets a real fetch path + follow linked GitHub issues#4047
serena-ruan merged 3 commits into
mainfrom
repro-agent-linear

Commits

Commits on Aug 4, 2026