Import cross repository pull requests from GitHub correctly

Asked in https://news.ycombinator.com/item?id=12146542

/cc @JobV @jameslopez