Shrink Git repositories by truncating history