diff --git a/doc/forum/big_overhead/comment_5_599092b8d4f1fc8f378796328ef42931._comment b/doc/forum/big_overhead/comment_5_599092b8d4f1fc8f378796328ef42931._comment new file mode 100644 index 0000000000..ee91a5b2bd --- /dev/null +++ b/doc/forum/big_overhead/comment_5_599092b8d4f1fc8f378796328ef42931._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="rasmus" + ip="109.201.154.183" + subject="comment 5" + date="2014-09-08T13:48:03Z" + content=""" +So `git prune` worked wonders on my repos, getting rid of GBs of stuff in the `.git/objects` folders. I don't know why they weren't picked up by `git gc`. In retrospect, it was perhaps a bit careless of me to run `git prune` directly, but hopefully I will be OK. . . +"""]]