Closed JohannesBuchner closed 2 years ago
Removes download from broken server.
Implements download from github repository. This iterates through the (<10) github repos until the file is found, but it works well.
The drawback is that no name lookup is performed, i.e., the name in the repository has to be used.
This PR also updates the documentation.
Not necessary given the certificate renewal.
Removes download from broken server.
Implements download from github repository. This iterates through the (<10) github repos until the file is found, but it works well.
The drawback is that no name lookup is performed, i.e., the name in the repository has to be used.
This PR also updates the documentation.