[sysadmin-bin] Skip project if it has been migrated from GNOME group

[Bartłomiej Piotrowski <bpiotrowski src gnome org>]

commit 285cc8a2e1320b09f81733b9bc256d7bdc5cb342
Author: Bartłomiej Piotrowski <bpiotrowski gnome org>
Date:   Fri Jul 17 14:32:40 2020 +0200

    Skip project if it has been migrated from GNOME group

 gitlab/mirror2github | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/gitlab/mirror2github b/gitlab/mirror2github
index 54ed0b8..5753b5d 100755
--- a/gitlab/mirror2github
+++ b/gitlab/mirror2github
@@ -41,6 +41,11 @@ def main():
         projects = group.projects.list(all=True)
 
         for prj in projects:
+            # Skip project if it has been migrated from GNOME group
+            prj = gl.projects.get(prj.id)
+            if prj.namespace["name"] != group.id:
+                continue
+
             mirror_settings = {
                 "description": f"Read-only mirror of {prj.web_url}",
                 "homepage": prj.web_url,