Method archiveMergedInProject

src/node/services/workspaceService.ts:6018–6136

* Archive all non-archived workspaces within a project whose GitHub PR is merged. * * This is intended for a single command-palette action (one backend call), to avoid * O(n) frontend→backend loops.

(projectPath: string)

   * O(n) frontend→backend loops.
   */
  async archiveMergedInProject(projectPath: string): Promise<Result<ArchiveMergedInProjectResult>> {
    const targetProjectPath = projectPath.trim();
    if (!targetProjectPath) {
      return Err("projectPath is required");
    }

    const archivedWorkspaceIds: string[] = [];
    const skippedWorkspaceIds: string[] = [];
    const errors: Array<{ workspaceId: string; error: string }> = [];

    try {
      const allMetadata = await this.config.getAllWorkspaceMetadata();

      const candidates = allMetadata.filter((metadata) => {
        if (metadata.projectPath !== targetProjectPath) {
          return false;
        }
        return !isWorkspaceArchived(metadata.archivedAt, metadata.unarchivedAt);
      });

      const mergedWorkspaceIds: string[] = [];

      const GH_CONCURRENCY_LIMIT = 4;
      const GH_TIMEOUT_SECS = 15;

      await forEachWithConcurrencyLimit(candidates, GH_CONCURRENCY_LIMIT, async (metadata) => {
        const workspaceId = metadata.id;

        try {
          const result = await this.executeBash(
            workspaceId,
            `gh pr view --json state 2>/dev/null || echo '{"no_pr":true}'`,
            {
              timeout_secs: GH_TIMEOUT_SECS,
              // gh requires the runtime environment — devcontainer auth/CLI
              // may only exist inside the container.
            }
          );

          if (!result.success) {
            errors.push({ workspaceId, error: result.error });
            return;
          }

          if (!result.data.success) {
            errors.push({ workspaceId, error: result.data.error });
            return;
          }

          const output = result.data.output;
          if (!output || output.trim().length === 0) {
            errors.push({ workspaceId, error: "gh pr view returned empty output" });
            return;
          }

          let parsed: unknown;
          try {
            parsed = JSON.parse(output);