Rewrite git repository history tools