Ok cool, I added it to the members now. Piotr, you have developer access too, feel free to add/remove users as needed, but I guess it shouldn't be necessary anymore right?
On Mon, 3 Sep 2018 at 02:08, Piotr Drąg <piotrd...@gmail.com> wrote: > 2018-09-02 23:44 GMT+02:00 Carlos Soriano <csori...@gnome.org>: > > What's the username of the translations bot? > > > > It’s @translations. I see we’ve reported this issue in every > conceivable place. :) > > https://gitlab.gnome.org/Community/Engagement/release-notes/issues/6 > > -- > Piotr Drąg > https://piotrdrag.fedorapeople.org >
_______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-i18n