Method warm

packages/shared/pr-context-live.ts:121–123

Start a best-effort background refresh without waiting on it.

(url: string, ref: PRRef)

  /** Start a best-effort background refresh without waiting on it. */
  warm(url: string, ref: PRRef): void {
    this.runDetached(this.refresh(url, ref, "warm"), "warm");
  }

  /** Refresh immediately after a successful provider write. */
  refreshAfterWrite(url: string, ref: PRRef): void {