From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 02 Jun 2008 20:02:42 GMT
Subject: Re: Development strategy
Message-ID: <alpine.DEB.1.00.0806022101490.13507@racer.site.net>
In-Reply-To: <20080602193951.GE7648@leksak.fem-net>

Hi,

On Mon, 2 Jun 2008, Stephan Beyer wrote:

> I have a repo at repo.or.cz, but have not yet pushed to it because my 
> compromised Debian SSH key has still access to repo.or.cz and my new one 
> hasn't.

Why don't you just remove your old account from that repository, add a new 
account with the new keys, and use that, until Pasky finally integrated 
the changes to repo.git to change your keys?

Ciao,
Dscho