Open olexandr-konovalov opened 4 years ago
@bh11 says that the web server at icm.tu-bs.de started to refuse to serve files with extension .g
. He already updated IRREDSOL to host archives on GitHub, and, although that setup does not make use of ReleaseTools and GitHubPagesForGAP, it does work for the purposes of package distribution.
Hello @chsievers, there is a problem while checking for updates:
and snce you already have a GitHub repository, maybe the best way to fix this is is to host it on GitHub pages, using tools by @fingolfin:
Once set up, publishing a release is just a one-line command to run a shell script, and you can delegate that to other people, if you wish, e.g. me or @fingolfin. if you will give us write access or, what I would actually prefer, migrate to https://github.com/gap-packages, we can easily do all setup for you, so that the next time you can publish a new release yourself, or ask us to do this for you. The new page will look like https://gap-packages.github.io/example/.