Repository navigation

chore(ci): pin pr-agent to skynergroup/.github@main - #5

Merged

yashiels merged 1 commit into

mainfrom

chore/pr-agent-pin-main

Jul 12, 2026

Merged

chore(ci): pin pr-agent to skynergroup/.github@main#5
yashiels merged 1 commit into
mainfrom
chore/pr-agent-pin-main

Commits on Jul 12, 2026
- chore(ci): pin pr-agent to skynergroup/.github@main
  yashiels
  committed
  dcff8a5