Hi, On Tue, 17 Sep 2019, Christian Couder wrote: > On Tue, Sep 17, 2019 at 1:28 PM Johannes Schindelin > <Johannes.Schindelin@xxxxxx> wrote: > > On Mon, 16 Sep 2019, Emily Shaffer wrote: > > > > > - reduce/eliminate use of fetch_if_missing global > > I like this one! It looks as if a (non-Outreachy) contributor also does like this one already: https://github.com/git/git/pull/650 Ciao, Dscho
