Closed robertodauria closed 2 years ago
This is necessary to fix the Docker build after github stopped accepting the unauthenticated git:// protocol.
This change is
It seems to be totally unrelated to this change... I'll try to fix it in this branch before merging.
This is necessary to fix the Docker build after github stopped accepting the unauthenticated git:// protocol.
This change is