Search results

github-release脚本未能获取到所有release

Status: Open.

#170 In tuna/tunasync-scripts;

· jimorsm opened on Jan 15, 2024

Request and RFC for add Lean4 mirrors

Status: Open.

#165 In tuna/tunasync-scripts;

· alissa-tung opened on Aug 31, 2023

git-recursive脚本同步git仓库时，工作不正常

Status: Open.

#161 In tuna/tunasync-scripts;

· Fearyncess opened on Apr 25, 2023

Large amount of read io while running nix-channels.py

Status: Open.

#122 In tuna/tunasync-scripts;

· happyaron opened on Jun 7, 2021

Use createrepo_c to replace createrepo

Status: Open.

#121 In tuna/tunasync-scripts;

· happyaron opened on May 26, 2021

S3 sync missing files

Status: Open.

#88 In tuna/tunasync-scripts;

· shankerwangmiao opened on Aug 14, 2020