Do not need to add sagotch/opam-repo-dev repository. Pin sources instead.
--depth=1 added to git clone commands.