> On 24 Mar 2020, at 03:14, Bruce Momjian <bruce@momjian.us> wrote:
> OK, who has commit rights to the commit fest app?
Judging by the history, it's at least Magnus and Dave.
$ git log --format=fuller | grep Commit: | sort -u
Commit: Dave Page <dpage@pgadmin.org>
Commit: Magnus Hagander <magnus@hagander.net>
cheers ./daniel