Skip to content

Remove a repository table#487

Merged
gunyarakun merged 1 commit into
mainfrom
remove-repo-tables
May 18, 2026
Merged

Remove a repository table#487
gunyarakun merged 1 commit into
mainfrom
remove-repo-tables

Conversation

@gunyarakun
Copy link
Copy Markdown
Contributor

No description provided.

Copilot AI review requested due to automatic review settings May 18, 2026 10:39
@github-actions
Copy link
Copy Markdown

Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Removes the detailed multi-repository table from the documentation overview page, leaving the higher-level “Project and Repositories” links section intact.

Changes:

  • Deleted the repository/documentation/description table from the overview page.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@gunyarakun gunyarakun merged commit 1e55b22 into main May 18, 2026
14 checks passed
@gunyarakun gunyarakun deleted the remove-repo-tables branch May 18, 2026 10:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants