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
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