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