[sysadmin-bin] Merge the two lists together

[Andrea Veri <averi src gnome org>]

commit 847306b7e1eb2c5d2c74362d341ba1bd3b99275e
Author: Andrea Veri <averi redhat com>
Date:   Thu Feb 7 21:43:53 2019 +0100

    Merge the two lists together

 deprecated_github_repos.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/deprecated_github_repos.py b/deprecated_github_repos.py
index 342f36b..36404c7 100755
--- a/deprecated_github_repos.py
+++ b/deprecated_github_repos.py
@@ -87,5 +87,5 @@ gl_infra_repos = l_gitlab_repos(987)
 gh_repos = l_github_repos()
 
 for repo in gh_repos:
-    if repo not in (gl_gnome_repos or gl_infra_repos):
+    if repo not in (gl_gnome_repos + gl_infra_repos):
         delete_repo(repo)