Service disruption: git converter currently down

[Ulrich Spörlein]

Good news and bad news, we were able to roll back the converter jail and
doc and ports are basically working again (but not turned on live yet), but
the src (or base) conversion is now diverging from what is published on
github. This will take some time to figure out still.

Sorry again for the inconvenience, let me know if you have further
questions.

Regards
Uli

Am Do., 19. Sept. 2019 um 09:01 Uhr schrieb Ulrich Spörlein <
uspoerlein at gmail.com>:

> Folks,
> the converter is currently crashing and thus not making progress on at
> least src and ports repos. I'm also unavailable most of the next 2 days, so
> this might take well into the weekend to get fixed.
>
> Wish me luck!
> Uli
>