Hey Duarte, long time no talk!
It's sad to see you leave but as a father of two I completely understand!
Thank you a lot for your work, and congrats on the new family member!
Joaquim Rocha
http://www.joaquimrocha.com
On Sun, Jan 7, 2018 at 1:34 AM, Duarte Loreto
wrote:
> Dear GNOME'ers,
>
> I
Hi all,
More and more GNOME projects seem to be migrating from old git
infrastructure and Bugzilla to https://gitlab.gnome.org/.
Would there be any objections to moving our docs repos (gnome-user-docs
etc.) to gitlab.gnome.org after the upcoming stable release?
This would affect the documentati
Hi Petr,
I'm in favour too. I think by this point people are even ready for the 2018
process feel.
Mike
On Thu, Jan 11, 2018 at 2:00 PM, Jim Campbell wrote:
> Hi Petr,
>
> Thanks I would be in favor of this transition.
>
> Jim
>
> On Jan 11, 2018 12:51 PM, "Petr Kovar" wrote:
>
>> Hi all,
>>
Hi Petr,
Thanks I would be in favor of this transition.
Jim
On Jan 11, 2018 12:51 PM, "Petr Kovar" wrote:
> Hi all,
>
> More and more GNOME projects seem to be migrating from old git
> infrastructure and Bugzilla to https://gitlab.gnome.org/.
>
> Would there be any objections to moving our doc
