From b966cb6b223bec192e0929bc1a9fcd76e45c7783 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sat, 22 Jul 2023 02:36:38 +0200
Subject: [PATCH] doap: Remove Giovanni from maintainers

He is an emeritus member, which means he is no longer active.

In particular he is no longer in the 'gnomecvs' group, which
is a pre-condition for being listed in the .doap file.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/267>
---
 gnome-shell-extensions.doap | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/gnome-shell-extensions.doap b/gnome-shell-extensions.doap
index edf3cbca..686328f9 100644
--- a/gnome-shell-extensions.doap
+++ b/gnome-shell-extensions.doap
@@ -20,13 +20,6 @@ and will be picked automatically at next login.
   <category rdf:resource="http://api.gnome.org/doap-extensions#core" />
   <programming-language>JavaScript</programming-language>
 
-  <maintainer>
-    <foaf:Person>
-      <foaf:name>Giovanni Campagna</foaf:name>
-      <foaf:mbox rdf:resource="mailto:gcampagna@src.gnome.org" />
-      <gnome:userid>gcampagna</gnome:userid>
-    </foaf:Person>
-  </maintainer>
   <maintainer>
     <foaf:Person>
       <foaf:name>Florian Müllner</foaf:name>