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 .
za...@upsilon.cc .
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 »