@hcrosse/opencode-pr-tracker 0.1.0 → 0.2.0

package/dist/tui.js

@@ -1584,6 +1584,8 @@ var segmentPattern = /^[A-Za-z0-9._-]+$/;
 function parsePullRequestUrl(input) {
   if (input.trim() !== input)
     return invalidPullRequestUrl;
+  if (input.includes("\\"))
+    return invalidPullRequestUrl;
   if (!input.startsWith("https://"))
     return invalidPullRequestUrl;
   const authorityEnd = input.indexOf("/", "https://".length);
@@ -1616,15 +1618,17 @@ function parsePullRequestUrl(input) {
   if (segments.length !== 5 || segments[0] !== "" || segments[3] !== "pull") {
     return invalidPullRequestUrl;
   }
-  const owner = segments[1];
-  const repository = segments[2];
+  const rawOwner = segments[1];
+  const rawRepository = segments[2];
   const numberText = segments[4];
-  if (owner === undefined || repository === undefined || numberText === undefined || !segmentPattern.test(owner) || !segmentPattern.test(repository) || !/^\d+$/.test(numberText)) {
+  if (rawOwner === undefined || rawRepository === undefined || numberText === undefined || !segmentPattern.test(rawOwner) || !segmentPattern.test(rawRepository) || !/^\d+$/.test(numberText)) {
     return invalidPullRequestUrl;
   }
   const number = Number(numberText);
   if (!Number.isSafeInteger(number) || number <= 0)
     return invalidPullRequestUrl;
+  const owner = rawOwner.toLowerCase();
+  const repository = rawRepository.toLowerCase();
   const url = `https://github.com/${owner}/${repository}/pull/${number}`;
   const value = { url, owner, repository, number };
   return { ok: true, value };
@@ -2313,7 +2317,7 @@ function startSessionPolling(input) {
   let timerRegistered = false;
   let stopped = false;
   let inFlight;
-  let refreshQueued = false;
+  let queued;
   function project(attachments) {
     return attachments.map((attachment) => ({
       attachment,
@@ -2325,11 +2329,14 @@ function startSessionPolling(input) {
   async function poll() {
     const attachments = await input.store.list(input.sessionID);
     if (stopped)
-      return;
+      return {
+        ok: true,
+        value: "stopped"
+      };
     if (!attachments.ok) {
       input.publish([]);
       input.onStateFailure(attachments.error);
-      return;
+      return attachments;
     }
     const attachedUrls = new Set(attachments.value.map((attachment) => attachment.pullRequest.url));
     for (const url of statuses.keys()) {
@@ -2337,6 +2344,11 @@ function startSessionPolling(input) {
         statuses.delete(url);
     }
     input.publish(project(attachments.value));
+    if (attachments.value.length === 0)
+      return {
+        ok: true,
+        value: "no_attachments"
+      };
     const refreshable = attachments.value.filter((attachment) => {
       const previous = statuses.get(attachment.pullRequest.url);
       return previous?.tag !== "Available" || previous.state.tag !== "Merged";
@@ -2345,12 +2357,17 @@ function startSessionPolling(input) {
       signal: controller.signal
     });
     if (stopped)
-      return;
+      return {
+        ok: true,
+        value: "stopped"
+      };
     let batchDiagnostic;
+    let failure;
     if (!batch.ok) {
       if (batch.error.tag === "GitHubCancelled")
-        return;
+        return batch;
       batchDiagnostic = batch.error.tag === "GitHubBatchLimitExceeded" ? "GitHubUnavailable" : batch.error.tag;
+      failure = batch.error;
     }
     for (const [index, attachment] of refreshable.entries()) {
       const previous = statuses.get(attachment.pullRequest.url);
@@ -2360,6 +2377,8 @@ function startSessionPolling(input) {
         continue;
       }
       const diagnostic = result === undefined ? batchDiagnostic ?? "GitHubUnavailable" : result.error.tag;
+      if (result !== undefined && !result.ok)
+        failure ??= result.error;
       statuses.set(attachment.pullRequest.url, previous?.tag === "Available" ? {
         ...previous,
         stale: true,
@@ -2371,24 +2390,60 @@ function startSessionPolling(input) {
     }
     if (!stopped)
       input.publish(project(attachments.value));
+    return failure === undefined ? {
+      ok: true,
+      value: "refreshed"
+    } : {
+      ok: false,
+      error: failure
+    };
+  }
+  function startQueuedRefresh() {
+    inFlight = undefined;
+    const next = queued;
+    queued = undefined;
+    if (next === undefined)
+      return;
+    if (stopped) {
+      next.resolve({
+        ok: true,
+        value: "stopped"
+      });
+      return;
+    }
+    requestRefresh().then((result) => next.resolve(result), (error) => next.reject(error));
   }
-  function refresh() {
+  function requestRefresh() {
     if (stopped)
-      return Promise.resolve();
+      return Promise.resolve({
+        ok: true,
+        value: "stopped"
+      });
     if (inFlight) {
-      refreshQueued = true;
-      return inFlight;
-    }
-    const wrapped = poll().finally(() => {
-      inFlight = undefined;
-      if (refreshQueued && !stopped) {
-        refreshQueued = false;
-        return refresh();
-      }
+      if (queued !== undefined)
+        return queued.promise;
+      let resolve;
+      let reject;
+      const promise = new Promise((resolvePromise, rejectPromise) => {
+        resolve = resolvePromise;
+        reject = rejectPromise;
+      });
+      queued = {
+        promise,
+        resolve,
+        reject
+      };
+      return promise;
+    }
+    const current = poll();
+    inFlight = current;
+    current.then(startQueuedRefresh, startQueuedRefresh);
+    return current;
+  }
+  function scheduledRefresh() {
+    return requestRefresh().then(() => {
       return;
     });
-    inFlight = wrapped;
-    return wrapped;
   }
   return {
     start() {
@@ -2396,13 +2451,14 @@ function startSessionPolling(input) {
         return Promise.resolve();
       if (!timerRegistered) {
         timer = scheduler.setInterval(() => {
-          refresh().catch(input.onError);
+          scheduledRefresh().catch(input.onError);
         }, pollIntervalMilliseconds);
         timerRegistered = true;
       }
-      return refresh();
+      return scheduledRefresh();
     },
-    refresh,
+    refresh: scheduledRefresh,
+    forceRefresh: requestRefresh,
     stop() {
       if (stopped)
         return;
@@ -2450,7 +2506,18 @@ function createRefreshBus() {
   return {
     emit(sessionID) {
       for (const listener of listeners.get(sessionID) ?? [])
-        listener();
+        listener.refresh();
+    },
+    async forceRefresh(sessionID) {
+      const sessionListeners = listeners.get(sessionID);
+      if (sessionListeners === undefined || sessionListeners.size === 0)
+        return;
+      const settled = await Promise.allSettled([...sessionListeners].map((listener) => listener.forceRefresh()));
+      const rejected = settled.find((result) => result.status === "rejected");
+      if (rejected !== undefined)
+        throw rejected.reason;
+      const results = settled.flatMap((result) => result.status === "fulfilled" ? [result.value] : []);
+      return results.find((result) => !result.ok) ?? results.find((result) => result.ok && result.value === "refreshed") ?? results[0];
     },
     subscribe(sessionID, listener) {
       const sessionListeners = listeners.get(sessionID) ?? new Set;
@@ -2599,8 +2666,18 @@ function PullRequestSidebar(props) {
     onError: () => setFailure("Unable to refresh pull request status")
   });
   polling.start().catch(() => setFailure("Unable to refresh pull request status"));
-  const unsubscribe = props.refreshBus.subscribe(props.sessionID, () => {
-    polling.refresh().catch(() => setFailure("Unable to refresh pull request status"));
+  const unsubscribe = props.refreshBus.subscribe(props.sessionID, {
+    refresh() {
+      polling.refresh().catch(() => setFailure("Unable to refresh pull request status"));
+    },
+    async forceRefresh() {
+      try {
+        return await polling.forceRefresh();
+      } catch (error) {
+        setFailure("Unable to refresh pull request status");
+        throw error;
+      }
+    }
   });
   const onAbort = () => polling.stop();
   props.api.lifecycle.signal.addEventListener("abort", onAbort, {
@@ -2691,10 +2768,8 @@ function PullRequestSidebar(props) {
   })();
 }
 function registerTui(api, dependencies) {
-  const refreshBus = createRefreshBus();
-  api.event.on("session.updated", (event) => refreshBus.emit(event.properties.sessionID));
-  api.event.on("message.updated", (event) => refreshBus.emit(event.properties.sessionID));
-  api.event.on("message.part.updated", (event) => refreshBus.emit(event.properties.sessionID));
+  const refreshBus = dependencies.refreshBus ?? createRefreshBus();
+  const disposeEvents = [api.event.on("session.updated", (event) => refreshBus.emit(event.properties.sessionID)), api.event.on("message.updated", (event) => refreshBus.emit(event.properties.sessionID)), api.event.on("message.part.updated", (event) => refreshBus.emit(event.properties.sessionID))];
   const disposeCommands = api.keymap.registerLayer({
     commands: [{
       name: "pr.attach",
@@ -2825,10 +2900,79 @@ function registerTui(api, dependencies) {
         });
         refreshBus.emit(sessionID);
       }
+    }, {
+      name: "pr.sync",
+      title: "Sync pull request status",
+      category: "Plugin",
+      namespace: "palette",
+      slashName: "pr-sync",
+      async run() {
+        const sessionID = currentSessionID(api);
+        if (sessionID === undefined) {
+          api.ui.toast({
+            variant: "warning",
+            title: "Pull request tracker",
+            message: "Open a session first"
+          });
+          return;
+        }
+        try {
+          const result = await refreshBus.forceRefresh(sessionID);
+          if (result === undefined) {
+            api.ui.toast({
+              variant: "warning",
+              title: "Pull request tracker",
+              message: "Pull request sidebar is not available"
+            });
+            return;
+          }
+          if (!result.ok) {
+            api.ui.toast({
+              variant: "error",
+              title: "Pull request tracker",
+              message: result.error.message
+            });
+            return;
+          }
+          switch (result.value) {
+            case "refreshed":
+              api.ui.toast({
+                variant: "success",
+                title: "Pull request tracker",
+                message: "Pull request status synced"
+              });
+              return;
+            case "no_attachments":
+              api.ui.toast({
+                variant: "info",
+                title: "Pull request tracker",
+                message: "No pull requests are attached"
+              });
+              return;
+            case "stopped":
+              api.ui.toast({
+                variant: "error",
+                title: "Pull request tracker",
+                message: "Unable to refresh pull request status"
+              });
+              return;
+          }
+        } catch {
+          api.ui.toast({
+            variant: "error",
+            title: "Pull request tracker",
+            message: "Unable to refresh pull request status"
+          });
+        }
+      }
     }],
     bindings: []
   });
-  api.lifecycle.onDispose(disposeCommands);
+  api.lifecycle.onDispose(() => {
+    disposeCommands();
+    for (const disposeEvent of disposeEvents)
+      disposeEvent();
+  });
   api.slots.register({
     order: 250,
     slots: {
@@ -2865,4 +3009,4 @@ export {
   attachPullRequest
 };
 
-//# debugId=73D7339550CD79BA64756E2164756E21
+//# debugId=4A2A207709F4E99D64756E2164756E21