Kamil Zabielski
Kamil Zabielski
@ZachNewbery Yup. I would stick to having both registries for redundancy. I am sure sure we should consolidate all of the `docker-*` repositories we have.
@ZachNewbery I am sure we cannot use GHCR.io registry as main one. As far as I know, there is no possibility to download `ghcr.io` hosted image without Github token. I...
@ZachNewbery Aha. It works. :) If you set **package** as _public_ - it is publicly available and there is no need to use `token` https://github.com/limakzi/gap-docker/pkgs/container/gap-docker ``` >> feature/add-gap-version-matrix λ docker...
I will take `json`.
Working on `orb`. https://github.com/gap-packages/orb/pull/69
@fingolfin Lets take it as definition of done, if so. I'm fully OK with that. By the way, working on `gauss`. ;) Pull-request: https://github.com/homalg-project/homalg_project/pull/614.
https://github.com/gap-packages/hap/issues/123
@nickfloyd, Is there anything I can do to help you in review?
Key points from my side. 1. **Appropriate decoupling of responsibilities.** We should avoid, at almost any cost, transferring package dependencies to the `gap-core` system dependencies. 2. **Current market solutions.** The...