On Thu, 22 Aug 2019 at 06:20, Jürgen E. Fischer <jef at norbit.de> wrote: > > Hi, > > On Tue, 20. Aug 2019 at 16:37:27 +0200, Matthias Kuhn wrote: > > I think it would be valuable to give David core commit rights and allow him > > with this also to enforce the pull request review team. > +1 Nyall