Switch dev-repo to git+https (weird issue, imo: https://github.com/tarides/dune-release/issues/169)
ppx_fun
Dune releas, cont.
Testing dune-release.