Change in docker-playground[master]: */Dockerfile: clone from gerrit.osmocom.org using https://