Use http git.data.coop endpoints for websites #139

Merged
samsapti merged 1 commits from docker-unipi-update into main 2022-12-13 15:24:33 +00:00

1 Commits

Author SHA1 Message Date
Reynir Björnsson 9e11b055f6 Use http git.data.coop endpoints for websites
Gitea is notoriously strict with its http smart git implementation. This
required a few fixes in upstream ocaml-git. They are now released, and
we don't have to use github or ssh-keys.
2022-12-13 09:48:17 +01:00