Function handleIndexPR

ui/src/appComponents/PRListPanel.tsx:128–133

(pr: PRDetail)

  };

  const handleIndexPR = async (pr: PRDetail) => {
    await indexPRIntoGraph(store, pr, prClient.meta);
    await store.flush();
    const prId = `${prClient.meta.owner}/${prClient.meta.repo}/pr/${pr.number}`;
    await onGraphChange?.(prId);
  };

  const handleSelectInGraph = (pr: PRDetail) => {
    const prId = `${prClient.meta.owner}/${prClient.meta.repo}/pr/${pr.number}`;