dune init to start a new project. That gave me a top-level
dune-project file, containing among other things
(source (github username/reponame))
Since I don’t wish to host the project on Github, I have to change this, but I don’t know how, because the
source tag is not documented (at least not in the stable version of the doc, in the stanza reference chapter where it would belong).
Thanks for the hint!