[PR #130] [MERGED] fix: update .gitmodules #257

New issue

Closed

opened 2026-10-26 21:15:25 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-26 21:15:25 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/deepseek-ai/DeepGEMM/pull/130
Author: @zhyncs
Created: 7/19/2025
Status: ✅ Merged
Merged: 7/20/2025
Merged by: @LyricZhao

Base: main ← Head: main

📝 Commits (1)

d111b37 fix: update .gitmodules

📊 Changes

1 file changed (+2 additions, -2 deletions)

View changed files

📝 .gitmodules (+2 -2)

📄 Description

No description provided

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/deepseek-ai/DeepGEMM/pull/130 **Author:** [@zhyncs](https://github.com/zhyncs) **Created:** 7/19/2025 **Status:** ✅ Merged **Merged:** 7/20/2025 **Merged by:** [@LyricZhao](https://github.com/LyricZhao) **Base:** `main` ← **Head:** `main` --- ### 📝 Commits (1) - [`d111b37`](https://github.com/deepseek-ai/DeepGEMM/commit/d111b37d1bdd0aa96807785ef36de6958cf15101) fix: update .gitmodules ### 📊 Changes **1 file changed** (+2 additions, -2 deletions) <details> <summary>View changed files</summary> 📝 `.gitmodules` (+2 -2) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-10-26 21:15:25 +00:00