From 99cb76ca7e3101ff94f874ada888f3ad6f0fc847 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Wed, 29 May 2024 20:56:46 +0200
Subject: [PATCH] opam-web.sh: append the redirect to the repo file, instead of
 replacing the entire file

---
 bin/opam-web.sh | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/bin/opam-web.sh b/bin/opam-web.sh
index e063fd9..cc6d82d 100755
--- a/bin/opam-web.sh
+++ b/bin/opam-web.sh
@@ -22,11 +22,8 @@ mv opam-repository/* .
 mv opam-repository/.git .
 rm -rf opam-repository
 
-# Overwrite 'repo' file, and dispatch all non-standard versions
-cat <<EOF >repo
-opam-version: "2.0"
-browse: "https://${BASEURL}/pkg/"
-upstream: "https://github.com/ocaml/opam-repository/tree/master/"
+# Append to the 'repo' file, and dispatch all non-standard versions
+cat <<EOF >>repo
 redirect: [
   "https://${BASEURL}/1.1" { opam-version < "1.2" }
   "https://${BASEURL}/1.2.0" { opam-version < "1.2.2" }