How to use the danger/distribution/runner/Executor.Executor function in danger

export function executorForInstallation(platform: Platform, runner: DangerRunner, options: GitHubInstallationSettings) {
  // We need this for things like repo slugs, PR IDs etc
  // https://github.com/danger/danger-js/blob/master/source/ci_source/ci_source.js

  const config: ExecutorOptions = {
    dangerID: "Peril", // TODO: multiple Peril runs?
    jsonOnly: false,
    stdoutOnly: false,
    verbose: !!process.env.LOG_FETCH_REQUESTS,
    disableGitHubChecksSupport: options.disable_github_check,
    passURLForDSL: false,
  }

  // Source can be removed in the next release of Danger
  return new Executor(source, platform, runner, config, process)
}