mirror-requests icon indicating copy to clipboard operation
mirror-requests copied to clipboard

Published 20 hours ago • verified publisher icon sjtug

[BUG] 克隆 git/lean4-packages/import-graph 失败

Open fghzxm opened this issue 1 year ago • 1 comments
trafficstars

Bug 描述

$ git clone https://mirror.sjtu.edu.cn/git/lean4-packages/import-graph.git
Cloning into 'import-graph'...
fatal: repository 'https://mirror.sjtu.edu.cn/git/lean4-packages/import-graph.git/' not found

fghzxm avatar Jun 23 '24 05:06 fghzxm

Please do git clone https://mirror.sjtu.edu.cn/git/lean4-packages/import-graph instead.

PhotonQuantum avatar Jul 09 '24 16:07 PhotonQuantum

Closed due to inactivity over the past 3 months. If the issue persists, feel free to reopen it.

truc0 avatar Dec 06 '24 09:12 truc0