4 ms·

My bare Linux repository comes to 1.2GB. A git gc run got it down to 1.1GB.

• eru 11y ago
  Oh, true. I just checked. I think I mixed up two numbers.