garbage-collection reduce truncate shrink prune minimize repo-cleaner github-actions github-action auto-crop-size performance-improvements git-performance repository-size repo-size shrink-down downsize commit-cleaner history-deletion repository-truncation branch-pruner