Update release.yml

Author: gares

.github/workflows/release.yml

@@ -94,4 +94,5 @@ jobs:
           git tag
           TAG=`git tag --sort=-v:refname|head -1`
           echo selected tag: $TAG
-          opam-publish --no-confirmation --tag=$TAG --packages-directory=${OPAM_SUITE:-released}/packages --repo=coq/opam --no-browser -v ${TAG##v}	rocq-elpi.opam coq-elpi.opam https://github.com/LPCIC/coq-elpi/releases/download/$TAG/rocq-elpi-${TAG##v}.tar.gz
+          # do not use the new name of the repo, or you get a 404 using GH APIs
+          opam-publish --no-confirmation --tag=$TAG --packages-directory=${OPAM_SUITE:-released}/packages --repo=coq/opam-coq-archive --no-browser -v ${TAG##v}	rocq-elpi.opam coq-elpi.opam https://github.com/LPCIC/coq-elpi/releases/download/$TAG/rocq-elpi-${TAG##v}.tar.gz