Re: Erase a commit from a git repository
- From
- Reto <reto@labrat.space>
- Date
- Jan 19, 2025, 11:21 UTC
- Message-ID
- <lyk3ps7h36bld6jh2uptzzdxpikjdjxnhcenc22rpaqobzw3ct@u22qnfbquwmi>
- In-Reply-To
- <db7ea8df-2f37-47b9-828b-67b8d3068232@decentral.ch>
On Sat, Jan 18, 2025 at 09:50:31PM +0100, Tim Tassonis wrote:
> As this sounds like quite a lot of manual work, I wondered if there is an > automated process for this?
Sure: https://github.com/newren/git-filter-repo