From 9d65bb841b3b9d980b2fee921d30079638a53023 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 3 May 2023 17:22:23 +0200
Subject: [PATCH] [opam] set frama-ci-bot as a maintainer

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/opam b/opam
index 3e99c4d8e55..70429cf534d 100644
--- a/opam
+++ b/opam
@@ -17,7 +17,7 @@ Thanks to this approach, Frama-C provides sophisticated tools, including:
 These plug-ins communicate between each other via the Frama-C API
 and via ACSL (ANSI/ISO C Specification Language) properties.
 """
-maintainer: "francois.bobot@cea.fr"
+maintainer: "frama-ci-bot@frama-c.com"
 authors: [
   "Michele Alberti"
   "Thibaud Antignac"
-- 
GitLab