From 3bef604733e1c8facf628e952642a4a7f53c0f77 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Wed, 30 Aug 2023 14:14:56 +0200
Subject: [PATCH] use --no-browser in opam-publish

---
 Makefile.release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.release b/Makefile.release
index a9181a293..9e6789ee5 100644
--- a/Makefile.release
+++ b/Makefile.release
@@ -7,7 +7,7 @@ release:
 	read OPTS;\
 	TAG=$(TAG);\
 	opam-publish --tag=$(TAG) --packages-directory=$(OPAM_SUITE)/packages \
-		--repo=coq/opam-coq-archive -v $${TAG##v} $$OPTS \
+		--repo=coq/opam --no-browser -v $${TAG##v} $$OPTS \
 		https://github.com/LPCIC/coq-elpi/releases/download/$$TAG/coq-elpi-$${TAG##v}.tar.gz
 
 release-rc: OPAM_SUITE=extra-dev