scripts/rev_control/compact_git.sh

   1 #!/bin/bash
   2
   3 prune_dir="$1"
   4 if [ -z "$prune_dir" ]; then
   5   prune_dir="$(pwd)"
   6 fi
   7 pushd "$prune_dir"
   8 echo cleaning git in directory $(pwd)
   9 git fsck --full
  10 check_if_failed "git fsck"
  11 git gc --prune=today --aggressive
  12 check_if_failed "git gc"
  13 git repack
  14 check_if_failed "git repack"
  15 popd