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 git gc --prune=today --aggressive
  11 git repack
  12 popd