vs git@ #256

New issue

Closed

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

bsakaguchi commented

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

Owner

📋 Pull Request Information

Original PR: https://github.com/deepseek-ai/DeepGEMM/pull/129
Author: @smarterclayton
Created: 7/18/2025
Status: ✅ Merged
Merged: 7/21/2025
Merged by: @LyricZhao

Base: main ← Head: fix_submodules

📝 Commits (1)

91db99d Updated submodules to use https:// vs git@

📊 Changes

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

View changed files

📝 .gitmodules (+2 -2)

📄 Description

Anonymous cloning is more difficult with git@ (it requires per user
SSH keys), which makes CI automation more difficult.

I suggest reverting to using https:// as it was before #112

$ git clone git@github.com:fmtlib/fmt.git 
Cloning into 'fmt'...
git@github.com: Permission denied (publickey).
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

_{🔄 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/129 **Author:** [@smarterclayton](https://github.com/smarterclayton) **Created:** 7/18/2025 **Status:** ✅ Merged **Merged:** 7/21/2025 **Merged by:** [@LyricZhao](https://github.com/LyricZhao) **Base:** `main` ← **Head:** `fix_submodules` --- ### 📝 Commits (1) - [`91db99d`](https://github.com/deepseek-ai/DeepGEMM/commit/91db99dbceab3f56dc6323fe213788edef53109a) Updated submodules to use https:// vs git@ ### 📊 Changes **1 file changed** (+2 additions, -2 deletions) <details> <summary>View changed files</summary> 📝 `.gitmodules` (+2 -2) </details> ### 📄 Description Anonymous cloning is more difficult with git@ (it requires per user SSH keys), which makes CI automation more difficult. I suggest reverting to using https:// as it was before #112 ``` $ git clone git@github.com:fmtlib/fmt.git Cloning into 'fmt'... git@github.com: Permission denied (publickey). fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists. ``` --- <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:24 +00:00