On Tue, Apr 11, 2017 at 11:47:12AM +0200, Markus Blatt wrote: > My third try to fetch succeeded. And now gitlab seems available again. > Weired. > And off it is again...