Yes, our GitHub account was terminated (not a big surprise after they deleted some other miners from there but we kind of liked the functionality there). We will have our own server up and running in a few hours.