PullRef.repo should be nullable
Open
bug
DEV
- Dominant language
- Java
- Stars
- 307
- Forks
- 144
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 14
Description
A `head` `PullRef` may have a null repo if the pull-requester has deleted their repository.
Example: https://api.github.com/repos/jcabi/jcabi/pulls/304
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.