From c1f9e026db50784442e78c1ac78f9115e8853437 Mon Sep 17 00:00:00 2001 From: MaximilianSoerenPollak Date: Tue, 20 Jan 2026 13:48:13 +0100 Subject: [PATCH] Fix 'edit on github' button Removing quotations around the source dir fixes the links --- src/incremental.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/incremental.py b/src/incremental.py index 91f14954..fbabf8b1 100644 --- a/src/incremental.py +++ b/src/incremental.py @@ -89,7 +89,7 @@ def get_env(name: str) -> str: base_arguments.append(f"-A=github_user={args.github_user}") base_arguments.append(f"-A=github_repo={args.github_repo}") base_arguments.append("-A=github_version=main") - base_arguments.append(f"-A=doc_path='{get_env('SOURCE_DIRECTORY')}'") + base_arguments.append(f"-A=doc_path={get_env('SOURCE_DIRECTORY')}") action = get_env("ACTION") if action == "live_preview":