private GHRepository resolveRepository() throws IOException {
  try {
    GitHubPRTrigger trigger=ghPRTriggerFromRun(run);
    if (trigger != null) {
      return trigger.getRemoteRepository();
    }
 else {
      throw new AbortException("GitHub PullRequest trigger isn't available.");
    }
  }
 catch (  Exception e) {
    log.error("pullRequest: GitHub repository not configured for project?");
    throw e;
  }
}

private GHRepository resolveRepository ( ) throws IOException { try { GitHubPRTrigger trigger = ghPRTriggerFromRun ( run ) ; if ( trigger != null ) { return trigger . getRemoteRepository ( ) ; } else { throw new AbortException ( "GitHub PullRequest trigger isn't available." ) ; } } catch ( Exception e ) { log . error ( "pullRequest: GitHub repository not configured for project?" ) ; throw e ; } }
looks up the github repository associated with this build . this expects that the pull request trigger is configured properly for this project and that it specifies a github project which has a corresponding " server " configuration in the global settings ( which provides the necessary credentials ) .
