Change head.repo on pull requests to Option#97

Merged

shunjikonishi merged 1 commit intocode-check:masterfrom

ashawley:fix-null-pr-head-repo

Jul 15, 2019

Commits on Feb 18, 2018

Change head.repo on pull requests to Option
ashawley
committed