From 2f0cf2709891482a6d328f92a06a8b1bfab209fa Mon Sep 17 00:00:00 2001
From: Puneeth Chaganti <punchagan@muse-amuse.in>
Date: Thu, 3 Oct 2024 16:09:42 +0530
Subject: [PATCH] Add note about repository merged into opam-repo-ci

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index f1eb2f5..e18802d 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,8 @@
 # opam-ci-check
 
+This repository has now been merged into
+[`opam-repo-ci`](https://github.com/ocurrent/opam-repo-ci/).
+
 ## Synopsis
 
 A CLI tool that tests whether packages are publishable on the opam repository.