Import cross repository pull requests from GitHub correctly