Method scheduleMergeQueueRefresh

src/browser/stores/PRStatusStore.ts:447–465

* Enqueue merge queue enrichment and retain a single follow-up request if one arrives * while a fetch is already in flight.

(
    workspaceId: string,
    prLinkBase: { owner: string; repo: string; number: number },
    prUrl: string,
    statusFetchedAt: number
  )

   * while a fetch is already in flight.
   */
  private scheduleMergeQueueRefresh(
    workspaceId: string,
    prLinkBase: { owner: string; repo: string; number: number },
    prUrl: string,
    statusFetchedAt: number
  ): void {
    const request: MergeQueueRefreshRequest = {
      prLinkBase,
      prUrl,
      statusFetchedAt,
    };

    if (this.mergeQueueRefreshInFlight.has(workspaceId)) {
      this.mergeQueueRefreshPending.set(workspaceId, request);
      return;
    }

    this.startMergeQueueRefresh(workspaceId, request);
  }

  private startMergeQueueRefresh(workspaceId: string, request: MergeQueueRefreshRequest): void {
    const refreshPromise = this.fetchMergeQueueEntry(workspaceId, request.prLinkBase)