code: public GHPullRequest getPullRequest(boolean force) throws IOException {
          if (this.pr == null || force) {
              setPullRequest(repo.getActualPullRequest(this.id));
          }
          return pr;
      }
docs: Get the PullRequest object for this PR
  
  @param force If true, forces retrieval of the PR info from the github API. Use sparingly.
  @return a copy of the pull request
  @throws IOException if unable to connect to GitHub