Skip to content

Bind GitHub events to repository-local PR identity - #675

Merged
krasnoperov-coding-agent[bot] merged 1 commit into
mainfrom
feature/scope-terminal-pr-resolution
Sep 15, 2026
Merged

Bind GitHub events to repository-local PR identity#675
krasnoperov-coding-agent[bot] merged 1 commit into
mainfrom
feature/scope-terminal-pr-resolution

fix: bind GitHub events to repository-local PR identity

a181707
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar