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

[Lukas Jirkovsky]

On 27 June 2016 at 22:29, Sven-Hendrik Haase <sh at lutzhaase.com> wrote:
> On Mon, Jun 27, 2016 at 7:23 PM, Lukas Jirkovsky via arch-dev-public <
> arch-dev-public at 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