Re: [arch-dev-public] Moving repos to nymeria - possibly some interruption of service

On 27 June 2016 at 22:29, Sven-Hendrik Haase <sh@lutzhaase.com> wrote:

On Mon, Jun 27, 2016 at 7:23 PM, Lukas Jirkovsky via arch-dev-public < arch-dev-public@archlinux.org> wrote:

Can you ssh into it?

Thank you, this helped a lot! It turned out I had a duplicate entry in .ssh/config which was still pointing to nymeria and which was taking precedence over the one I updated to point to repos.archlinux.org Lukas