Il giorno mer 8 ago 2018 alle ore 10:36 Adrien Destugues <
pulkomandy@xxxxxxxxxxxxx> ha scritto:
8 août 2018 10:19 "Stefano Ceccherini" <stefano.ceccherini@xxxxxxxxx> a
écrit:
Gerrit manages the repository even for direct pushes. So, you can now
manage your ssh keys using Gerrit web interface.
I added you to the "contributors" group so you can now push changes
directly.
Thanks!