repo.or.cz is down

[Wuzzy]

Hello.

Since today or yesterday, repo.or.cz is down.

This is a public hoster for Git repositories. It's very minimalist. It's hosting Git repositories and that's it. No bells and whistles. I love it.

Hopefully this server is up again. It's now already down for the entire day of today.

This is really painful. If this persists, I will be forced to migrate a huge portion of my code.

[Julius]

when it is up again you can set up a mirror on our https://git.FreeGameDev.net page

[Wuzzy]

repo.or.cz is back up again. Phew. But I need to think about the future …