just to let you know that the maintenance has been completed
successfully. Please notice that the service git.devuan.org is now
reachable at the following IP:

  5.196.38.17

The first time you connect via git, ssh will issue a warning saying
that it will add the aforementioned IP to the list of known
hosts. That is normal.

HH

The Dev1Devs

This email is to announce that the Devuan gitlab server at
git.devuan.org will be unreachable due to planned maintenance in the
following time slot:

  ****  Fri. 10th Nov. 2017 -- 18:00 (UTC) - 24:00 (UTC) ****

The downtime is part of the undergoing consolidation plan of the
Devuan infrastructure. We will do everything possible to reduce the
disruption to a minimum, and will promptly post here updates on the
ongoing operations.

Thanks in advance for your patience, and sorry again for any
inconvenience caused.

The Dev1Devs