Git aliases for trimming & untrimming history from your Git repository using git-replace