Due to problems with one partition, copr-dist-git machine stopped responding and we had to reboot it. But it got a different IP so we had to change the DNSs records, and now we are waiting to get those propagated. Should be ready in about one hour:
$ date --date "2020-09-16 17:00:00 UTC"
We have to fix several things in our stack to not repeat this situation next time. Sorry for inconvenience,
Pavel
On Wednesday, September 16, 2020 6:03:31 PM CEST Pavel Raiskup wrote:
... Should be ready in about one hour:
$ date --date "2020-09-16 17:00:00 UTC"
We should be fully back again. Sorry for inconvenience, and happy building.
Pavel
copr-devel@lists.fedorahosted.org