Fix download documentation button by populating repository ID from API response

[Copilot]

The download button in the repository documentation UI was non-functional because repository.id was always null when handleDownload checked it.

Problem

The fetchDocumentCatalog API returns WarehouseId in the response, but the store never populated the repository state object with this value. The download handler requires repository?.id to call the export endpoint.

Changes

• web-site/src/stores/repositoryDetail.store.ts: Build and set repository object from API response when fetching document catalog

const repositoryInfo: RepositoryInfo = {
  id: response.WarehouseId || '',
  organizationName: owner,
  name: name,
  address: response.git || '',
  branch: targetBranch,
  // ...
}

set({
  documentNodes: nodes,
  repository: repositoryInfo.id ? repositoryInfo : null
})

• Added warning log when WarehouseId is missing to aid debugging

Original prompt

---

This section details on the original issue you should resolve

<issue_title>How to download generated documentation on https://opendeep.wiki/</issue_title>
<issue_description>

I saw a download button on each documentation, but it did not work.
How can I download the generated documentation on https://opendeep.wiki/</issue_description>

Comments on the Issue (you are @copilot in this section)

@239573049 > > I saw a download button on each documentation, but it did not work. How can I download the generated documentation on https://opendeep.wiki/

The new UI has not yet been implemented with functions.</comment_new>

• Fixes How to download generated documentation on https://opendeep.wiki/ #300

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

[Copilot]

Pull request overview

This PR fixes the non-functional download documentation button in the repository UI by properly populating the repository state object with the warehouse ID from the API response.

• Extracts WarehouseId from the document catalog API response and builds a complete RepositoryInfo object
• Sets the repository state in the store so that handleDownload can access repository.id for the export endpoint
• Adds defensive logging when WarehouseId is missing to aid in debugging

[Copilot]

Field name inconsistency: The API response uses lowercase description (line 78 in DocumentCatalogService.cs) but the code accesses response.Description with uppercase 'D'. This will result in description always being an empty string. Use response.description instead to match the API response field name.

Suggested change

	description: response.Description || '',
	description: response.description || '',

[Copilot]

Field name inconsistency: The API response uses lowercase status (line 84 in DocumentCatalogService.cs from document?.Status), but accessing response.Status with uppercase 'S'. Use response.status to match the actual API response field name.

Suggested change

	status: response.Status,
	status: response.status,