Rewriting git history for fun and profit