Use git gc to reduce disk usage

Shopify · Jul 10, 2024 · a49ade2 · a49ade2
1 parent 600f3c1
commit a49ade2
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/continuous_reporting/gh_tasks/commit_benchmark_data.sh b/continuous_reporting/gh_tasks/commit_benchmark_data.sh
@@ -37,4 +37,6 @@ git add raw_benchmark_data
 git commit -m "`uname -p` benchmark results" || echo "Commit is empty?"
 git push
 
+git gc
+
 echo "Committed and pushed benchmark data successfully."
diff --git a/continuous_reporting/gh_tasks/git_update_yjit_metrics_repo.sh b/continuous_reporting/gh_tasks/git_update_yjit_metrics_repo.sh
@@ -29,3 +29,7 @@ git fetch current_repo
 git clean -ffdx
 git restore -SW .
 git checkout current_repo/$YJIT_METRICS_NAME
+
+# All this ref switching can leave cruft in the git database.
+# Clean it to keep disk space under control.
+git gc