« Reminder: Update poli… | Home | Birthday of our video… »

Tip of the day: GIT Repository Cleanup


If you use GIT, I have a tip for you:

git reflog expire --expire=now --all
git fsck --full --unreachable
git repack -A -d
git gc --aggressive --prune=now

Those commands will remove unreferenced objects and recompress the repository. For me that worked great and for example a 4 GB repository shrunk down to 600 MB. That saves a lot of disk space here. Try at your own risk. Remote repositories may need extra work to upload the new state.
26 11 15 - 13:01
No comments

  
Remember personal info?

Emoticons / Textile


Notify:
Hide email:

Small print: All html tags except <b> and <i> will be removed from your comment. You can make links by just typing the url or mail-address.