Issues with opam + Apple git + MPI-SWS gitlab server

I just wanted to put your attention on this issue:

https://github.com/ocaml/opam/issues/5021

I tried to create an opam .dev package pointing to the default branch for stdpp (for the Coq Platform dev pick) and it simply did not work. It turned out that for whatever reason the git which comes with Apple Xcode is not compatible with the gitlab server of MPI-SWS (I get protocol errors).

The interesting thing is that it does work with many other git servers, notably the gitlab server from INRIA, which looks fairly similar to yours.

This issue is mostly to make you aware of this weirdness in case you come across it. I try to get it fixed on Apple side, but it might make sense to inform gitlab about this.