From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <mark@klomp.org>
Received: from gnu.wildebeest.org (wildebeest.demon.nl [212.238.236.112])
 by sourceware.org (Postfix) with ESMTPS id CDE0A385B835
 for <overseers@sourceware.org>; Thu,  9 Apr 2020 23:09:45 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org CDE0A385B835
Received: from librem (deer0x15.wildebeest.org [172.31.17.151])
 (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits))
 (No client certificate requested)
 by gnu.wildebeest.org (Postfix) with ESMTPSA id 654F63000731;
 Fri, 10 Apr 2020 01:09:40 +0200 (CEST)
Received: by librem (Postfix, from userid 1000)
 id 2AD2FC04BD; Fri, 10 Apr 2020 01:09:19 +0200 (CEST)
Date: Fri, 10 Apr 2020 01:09:19 +0200
From: Mark Wielaard <mark@klomp.org>
To: Overseers mailing list <overseers@sourceware.org>
Cc: Joel Brobecker <brobecker@adacore.com>
Subject: Re: update user brobecke's public SSH key
Message-ID: <20200409230919.GC16021@wildebeest.org>
References: <20200409225321.GA28644@adacore.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20200409225321.GA28644@adacore.com>
User-Agent: Mutt/1.10.1 (2018-07-13)
X-Spam-Status: No, score=-9.0 required=5.0 tests=BAYES_00, JMQ_SPF_NEUTRAL,
 KAM_DMARC_STATUS, SPF_HELO_NONE, SPF_PASS,
 TXREP autolearn=no autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: overseers@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Overseers mailing list <overseers.sourceware.org>
List-Unsubscribe: <http://sourceware.org/mailman/options/overseers>,
 <mailto:overseers-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/overseers/>
List-Post: <mailto:overseers@sourceware.org>
List-Help: <mailto:overseers-request@sourceware.org?subject=help>
List-Subscribe: <http://sourceware.org/mailman/listinfo/overseers>,
 <mailto:overseers-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Thu, 09 Apr 2020 23:09:47 -0000

Hi Joel,

On Thu, Apr 09, 2020 at 03:53:21PM -0700, Joel Brobecker via Overseers wrote:
> Would it be possible to update my public SSH key on sourceware, please,
> for user "brobecke"? Or is there a way for me to do that myself?

See https://sourceware.org/sourceware/accountinfo.html

Use either ssh sourceware.org appendkey < newkey.pub
or ssh sourceware.org replacekey < newkey.pub

Cheers,

Mark