I need to replace my ssh public key on for sourceware.org. If someone
would be kind enough to install this key for me
(augustine.sterling@gmail.com), I would be obliged.

Thanks.