Repack before pushing. Initialize .gitrev in mirror script.