CodePudding
Home
front end
Back-end
Net
Software design
Enterprise
Blockchain
Mobile
Software engineering
database
OS
other
Tags
>
gitgithubjenkinsjenkins-pipeline
12-08
Net
Can a file be deleted from Github without cloning whole repo (repo size is above 20 gigs)?
Links：
CodePudding
