On 11/10/2020 11:07, Stefano Zacchiroli wrote: > On Sun, Oct 11, 2020 at 11:06:23AM +0200, Stefano Zacchiroli wrote: >> Yeah, that would be `git filter-branch` with the `--tree-filter` for > > s/tree-filter/subdirectory-filter/ > > (which is newer and better)
I discovered git-fiter-repo that is easier to work with. I am refining the last details. I should have a clean repository ready in a little while. Cheers, Dan -- You received this message because you are subscribed to the Google Groups "Beancount" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/beancount/a1a4bb8d-e62f-65ff-90e3-03eff2095865%40grinta.net.
