🥇 export from upstream (ce9e2c1)

2026-05-23 15:29:45 +02:00
parent ee5238cb0f
commit e5820ab3ff
15 changed files with 1172 additions and 81 deletions
@@ -148,7 +148,9 @@ def run_export(*, repo_root: Path, cfg: ExportConfig,
        diff = _run(["git", "diff", "--cached", "--quiet"],
                     cwd=worktree, check=False)
        if diff.returncode != 0:
-            _run(["git", "-c", "user.email=export@sandcage", "-c", "user.name=sandcage-export",
+            git_name = _run(["git", "config", "user.name"], cwd=repo_root).stdout.strip()
+            git_email = _run(["git", "config", "user.email"], cwd=repo_root).stdout.strip()
+            _run(["git", "-c", f"user.email={git_email}", "-c", f"user.name={git_name}",
                  "commit", "-m",
                  f"\U0001f947 export from upstream ({source_sha})"],
                 cwd=worktree)