On Thu, Feb 08, 2018 at 12:08:40PM +0800, Oon-Ee Ng wrote: > Also I use fava's plugin capabilities to commit every time an edit > happens.
Can you tell us more about this? It's the first time I hear about it, and it looks interesting to me. Also, given "git commit + git push" is probably a standard need for many people editing via Fava, would a "official" plugin for doing this be welcome? TIA, Cheers. -- Stefano Zacchiroli . [email protected] . upsilon.cc/zack . . o . . . o . o Computer Science Professor . CTO Software Heritage . . . . . o . . . o o Former Debian Project Leader & OSI Board Director . . . o o o . . . o . « the first rule of tautology club is the first rule of tautology club » -- 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 post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/beancount/20180208085004.GD17250%40upsilon.cc. For more options, visit https://groups.google.com/d/optout.
