mirror of
https://github.com/deepseek-ai/DeepGEMM.git
synced 2026-11-05 00:47:26 +00:00
[PR #312] [CLOSED] docs: add badges and table of contents to README #359
Labels
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
deepseek-ai/DeepGEMM#359
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/deepseek-ai/DeepGEMM/pull/312
Author: @Gingiris
Created: 4/20/2026
Status: ❌ Closed
Base:
main← Head:docs/add-badges-and-toc📝 Commits (1)
3e7bcafdocs: add badges and table of contents to README📊 Changes
1 file changed (+22 additions, -0 deletions)
View changed files
📝
README.md(+22 -0)📄 Description
What this PR does
Adds license, stars, and last-commit badges plus a table of contents to the README.
Why
The README is detailed and well-written, but currently has no badges at the top for quick project info (license type, activity level, popularity) and no table of contents for fast navigation. Both are standard for projects of this size and make it easier for newcomers to assess and navigate the project at a glance.
Changes
🤖 This PR was created with AI assistance and reviewed by a human.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.