On Tue, Sep 03, 2019 at 01:29:15PM -0300, Giancarlo Razzolini via arch-devops <arch-devops@lists.archlinux.org> wrote:
> What are your thoughts? (If it were just up to me, I'd given him root access already, so +1).

Fine by me.

Florian