fix ci error

Author: wenting-zhao

.github/workflows/system.yml

@@ -30,10 +30,6 @@ jobs:
         run: uv run commit0 evaluate-reference simpy
       - name: Save
         env:
-          GIT_USERNAME: ${{ secrets.GIT_USERNAME }}
-          GIT_PASSWORD: ${{ secrets.GIT_PASSWORD }}
           GITHUB_TOKEN: ${{ secrets.MY_GITHUB_TOKEN }}
         run: |
-          git config --global user.email "[email protected]"
-          git config --global user.name "Wenting Zhao"
           uv run commit0 save simpy test-save-commit0

commit0/harness/save.py

@@ -24,13 +24,17 @@ def main(
     branch: str,
     github_token: str,
 ) -> None:
+    if github_token is None:
+        # Get GitHub token from environment variable if not provided
+        token = os.environ.get("GITHUB_TOKEN")
     dataset: Iterator[RepoInstance] = load_dataset(dataset_name, split=dataset_split)  # type: ignore
     for example in dataset:
         repo_name = example["repo"].split("/")[-1]
         if repo_split != "all" and repo_name not in SPLIT[repo_split]:
             continue
         local_repo_path = f"{base_dir}/{repo_name}"
         github_repo_url = f"https://github.com/{organization}/{repo_name}.git"
+        github_repo_url = github_repo_url.replace('https://', f'https://x-access-token:{token}@')
 
         # Initialize the local repository if it is not already initialized
         if not os.path.exists(local_repo_path):