Fedora mirror at mirror.digitalnova.at unreachable

There have been reports that the mirror mirror.digitalnova.at does not work: https://pagure.io/fedora-websites/issue/833 I also cannot reach the mirror and have disabled it for now. MirrorManager detects that the mirror is not reachable, but as the reporting from the mirror (report_mirror) still runs, the mirror is re-enabed and still active. Could you have a look at your mirror and re-enable it in MirrorManager (user_active) or let me know. Thanks. Adrian