chore(pr-agent): repoint the reusable pin to the fixed SHA - #84

Closed

yakimoto wants to merge 3 commits into

mainfrom

chore/pr-agent-pin-to-main

Commits on Aug 25, 2026

chore(pr-agent): repoint the reusable pin to @main
yakimoto
committed
18ad91f
fix(pr-agent): pin to the fixed reusable SHA, not @main
yakimoto
committed
91e2f8d
chore(pr-agent): bump the pin past the merged lane fix
yakimoto
committed
717df77