GNU bug report logs - #35028
[PATCH 0/3] Remove WebKitGTK from GNOME Shell closure

Previous Next

Full log

View this message in rfc822 format

From: Ludovic Courtès <ludo <at> gnu.org>
To: Timothy Sample <samplet <at> ngyro.com>
Cc: Ricardo Wurmus <rekado <at> elephly.net>, 35028-done <at> debbugs.gnu.org
Subject: [bug#35028] [PATCH 0/3] Remove WebKitGTK from GNOME Shell closure
Date: Sun, 14 Apr 2019 19:44:54 +0200

[Message part 1 (text/plain, inline)]

Hi Timothy!

Timothy Sample <samplet <at> ngyro.com> skribis:

> Ludovic Courtès <ludo <at> gnu.org> writes:

[...]

>> BTW, we should probably give you commit access.  Would you like to
>> create an account on Savannah and upload your OpenPGP key there?
>
> Sorry for the delay.
>
> That would be cool!  I put my GPG key on Savannah.  My username is
> “samplet”: <https://savannah.gnu.org/users/samplet>.

Awesome, I’ve added you.  Could you reply to this message signed with
that key?

Please read ‘HACKING’ for the rules for commit access, and also, feel
empowered to review and push patches.

Thank you, and welcome aboard!  :-)

Ludo’.

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.