Build: Cannot build docker image due to changes from github

rixed / ramen

A stream processing language and compiler for small-scale monitoring

Other

14 stars 4 forks source link

Build: Cannot build docker image due to changes from github #1447

Closed rixed closed 2 years ago

rixed commented 2 years ago

opam repo add of a git repo seems to be broken due to:

fatal: remote error: 
  The unauthenticated git protocol on port 9418 is no longer supported.
Please see https://github.blog/2021-09-01-improving-git-protocol-security-github/ for more information.