move to git 2.12
Move to git 2.12 in .devcontainer/Dockerfile
This is a trivial MR, identical to !62146 (closed) but targeting 23.0 as suggested by @tstreble and @tsulaia
Move to git 2.12 in .devcontainer/Dockerfile
This is a trivial MR, identical to !62146 (closed) but targeting 23.0 as suggested by @tstreble and @tsulaia