From 4b9f4b1b63d053043619ec220ca351851d45c7ea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20=C3=85dahl?= Date: Fri, 6 Nov 2020 18:11:00 +0100 Subject: [PATCH] doap: Make marge-bot a maintainer This is so that the merge button can be restricted to maintainers, thus decreasing the risk of merging using the merge button. Part-of: --- gnome-shell-extensions.doap | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/gnome-shell-extensions.doap b/gnome-shell-extensions.doap index 74ca9ddf..edf3cbca 100644 --- a/gnome-shell-extensions.doap +++ b/gnome-shell-extensions.doap @@ -34,4 +34,10 @@ and will be picked automatically at next login. fmuellner + + + Marge Bot + marge-bot + +