On 11/10/2020 11:21, Daniele Nicolodi wrote: > 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.
The repository is ready here [*]: https://github.com/dnicolodi/beancount-mode with the history preserved, a IMHO better structure, and a README with a first attempt at documenting beancount-mode. The documentation should probably be a more structured, but what there is covers the basics. Martin, can you please consider replacing the repository you created with this one? Thank you. Cheers, Dan [*] if anyone is curios, this has been obtained with these commands: # clone git clone --branch v2 https://github.com/beancount/beancount.git cd beancount # reset repository to before the removal git reset --hard ff1139b2ed3face9befb7a5bc2c7de7096024032 # filter git filter-repo --path editors/emacs/ \ --path etc/emacsrc \ --path-rename editors/emacs/: # set remote git remote add origin [email protected]:dnicolodi/beancount-mode.git # rename trunk branch git branch -M main # push git push -u origin main -- 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/97952478-0949-b950-0b8f-c134448994df%40grinta.net.
