Revert "Push via GH API, and not via git push"

This reverts commit ce319dc.
enso-org · Feb 28, 2024 · 9128d33 · 9128d33
1 parent 7da61c7
commit 9128d33
Showing 1 changed file with 1 addition and 11 deletions.
diff --git a/tools/performance/engine-benchmarks/bench_tool/remote_cache.py b/tools/performance/engine-benchmarks/bench_tool/remote_cache.py
@@ -160,17 +160,7 @@ async def sync(self) -> None:
                 _logger.debug("Untracked files: %s", status.untracked)
                 await git.add(self._repo_root_dir, status.untracked)
             await git.commit(self._repo_root_dir, f"Add {len(status.untracked)} new reports")
-            head_commit_sha = await git.head_commit(self._repo_root_dir)
-            # Push the changes to the remote. Do not use `git push`, as that
-            # does not use authentication via GH_TOKEN
-            ret = await gh.invoke_gh_api(BENCH_REPO,
-                             "/merges",
-                             fields={
-                                 "base": "main",
-                                 "head": head_commit_sha
-                             },
-                             method="POST")
-            _logger.debug(f"Successfully merged the changes: {ret.__dict__}")
+            await git.push(self._repo_root_dir)
 
 
 def _is_benchrun_id(name: str) -> bool: