Fix Git commit error with missing email and name (#164)

ls1intum · Oct 26, 2023 · 4c44036 · 4c44036
1 parent b50a3f9
commit 4c44036
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/athena/athena/helpers/programming/code_repository.py b/athena/athena/helpers/programming/code_repository.py
@@ -52,6 +52,9 @@ def get_repository(url: str, authorization_secret: Optional[str] = None) -> Repo
         repo_zip.extractall(cache_dir_path)
         if not (cache_dir_path / ".git").exists():
             repo = Repo.init(cache_dir_path, initial_branch='main')
+            # Config username and email to prevent Git errors
+            repo.config_writer().set_value("user", "name", "athena").release()
+            repo.config_writer().set_value("user", "email", "[email protected]").release()
             repo.git.add(all=True, force=True)
             repo.git.commit('-m', 'Initial commit')