Dirk 2067ac8123 Fall back to heise.de
.. to scan.

It worked in a few examples locally. Other hosts I tried so far weren't
available anymore (like scanme.nmap.org). In order to reduce the burden
we scan now only during PRs.
2023-07-31 16:34:56 +02:00
..
2023-03-12 17:55:10 +01:00
2023-07-31 12:51:29 +02:00
2023-07-31 16:34:56 +02:00