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

Bind GitHub events to repository-local PR identity#675

krasnoperov-coding-agent[bot] merged 1 commit into

mainkrasnoperov/patchrelay:mainfrom

feature/scope-terminal-pr-resolutionkrasnoperov/patchrelay:feature/scope-terminal-pr-resolutionCopy head branch name to clipboard