diff --git a/HACKING.md b/HACKING.md index 27e747e375..210eb4e59c 100644 --- a/HACKING.md +++ b/HACKING.md @@ -5,7 +5,7 @@ * In the wikidoc branch, copy dev to VERSION * dune-release tag $(cat VERSION) * dune-release distrib -* dune-release publish distrib +* dune-release publish distrib --delegate github-dune-release-delegate * dune-release opam pkg * dune-release opam submit