sopc server down

Our git/mailing list server was broken. We are replacing with a new one. We will try to get it back as soon as possible. Sorry for the inconvenience.

- Hippo