Part of #180.
Blocked by: #184
Goal
Implement GitHub support behind the provider-neutral planning pull request interface.
Scope
- Resolve the target repository and configured push-remote repository.
- Support configured push remotes other than
origin.
- Require the target and push-remote identities to name the same repository.
- Normalize create, exact discovery, and get results.
- Fail closed when discovery reaches the configured result limit.
- Distinguish proven not-found responses from authentication, rate-limit, transport, and malformed-response failures.
- Add adapter and command contract tests.
Out of scope
- Forks, cross-owner heads, and other cross-repository pull requests.
- Forgejo support.
- Planning workspace or pipeline integration.
Acceptance criteria
Part of #180.
Blocked by: #184
Goal
Implement GitHub support behind the provider-neutral planning pull request interface.
Scope
origin.Out of scope
Acceptance criteria
PullRequestNotFoundError.run-once.