On Thu, 16 Aug 2018, KatolaZ wrote:

> The upgrade was performed on the current gitlab instance, after we
> checked that it would have worked on the new instance and that there
> were no issues with that. So there is no need to update DNS or
> anything, AFAIU.

wow, cheers! I literally didn't even notice :^D not that I'm using
gitlab a lot these days, trying to be on a "vacation"
beach-coding time (nextime's tm.) on some project

> Thanks to Ralph and Daniel for the good work.

yes! fantastic teamwork! many thanks! the gitalb update was a very
important and quite demanding task to accomplish.