[sysadmin-bin] Also exclude gitlab-bot from being killed

[Andrea Veri <averi src gnome org>]

commit a57667970bdee9f8e864c178581ed180d6fd29a7
Author: Andrea Veri <averi redhat com>
Date:   Fri Feb 8 00:19:29 2019 +0100

    Also exclude gitlab-bot from being killed

 gitlab/gitlab-operations.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/gitlab/gitlab-operations.py b/gitlab/gitlab-operations.py
index 23d7b63..7a7da44 100755
--- a/gitlab/gitlab-operations.py
+++ b/gitlab/gitlab-operations.py
@@ -69,7 +69,7 @@ for username, id in ldapusers_dict.iteritems():
 for username, id in gnomeusers_dict.iteritems():
     if username not in gnomecvs_members:
         # Hardcode the list of GNOME group owners here
-        if username in ('csoriano-gitlab-admin-account', 'gitlab-bugzilla-migration'):
+        if username in ('csoriano-gitlab-admin-account', 'gitlab-bugzilla-migration', 'gitlab-bot'):
             pass
         else:
             group.members.delete(id)