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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
