michael/webmin
1
0
Fork 0
mirror of https://github.com/webmin/webmin.git synced 2026-02-03 14:13:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix to try to use single depth when cloning

Browse Source
This commit is contained in:
Ilia Ross
2024-12-31 00:36:22 +02:00
parent c122d13747
commit e9ef704787
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/build/functions.bash vendored
View File

@@ -213,7 +213,7 @@ make_prod_repos() {
# Webmin or Usermin
if [ ! -d "$root_prod" ]; then
local repo="webmin/$prod.git"
cmd="git clone $GIT_BASE_URL/$repo $VERBOSITY_LEVEL"
cmd="git clone --depth 1 $GIT_BASE_URL/$repo $VERBOSITY_LEVEL"
eval "$cmd"
if [ ! -d "webmin" ]; then
cmd="git clone --depth 1 $WEBMIN_REPO \