# optimize git tree & history pruning