fix: Try doing a full clone

Seems like applying the filter prevents `clone` from resulting in being on `master`
vega · Jan 10, 2025 · 27ce0e9 · 27ce0e9
1 parent 58cc591
commit 27ce0e9
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/tools/sync_website.py b/tools/sync_website.py
@@ -23,10 +23,7 @@
 
 DOC_BUILD_INFO: Path = DOC_HTML_DIR / ".buildinfo"
 
-
-CMD_CLONE = f"git clone --filter=blob:none {DOC_REPO_URL}"
-"""Partial clone, as we only keep ``./.git/**``."""
-
+CMD_CLONE = "git", "clone", DOC_REPO_URL
 CMD_PULL = "git pull"
 CMD_HEAD_HASH = "git rev-parse HEAD"
 CMD_ADD = "git", "add", ".", "--all", "--force"