From: Reto <reto@labrat.space>
Date: Sun, 19 Jan 2025 11:21:20 GMT
Subject: Re: Erase a commit from a git repository
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