Am 01.10.19 um 20:00 schrieb Pratyush Yadav: > So here's what I propose: why don't we try to do something similar? What > about running `git-gc --auto` in the background when the user makes a > commit (which I assume is the most common operation in git-gui). This > would be disabled when the user sets gc.auto to 0. Sounds good. -- Hannes
