[sysadmin-bin] Skip projects without git repository

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

commit b92f52721183ac5f540076c553dc108a246e40a9
Author: Bartłomiej Piotrowski <bpiotrowski gnome org>
Date:   Fri Jul 17 14:43:45 2020 +0200

    Skip projects without git repository

 gitlab/mirror2github | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/gitlab/mirror2github b/gitlab/mirror2github
index 030ad0e..12cc24b 100755
--- a/gitlab/mirror2github
+++ b/gitlab/mirror2github
@@ -46,7 +46,10 @@ def main():
             if prj.namespace["name"] != group.id:
                 continue
 
-            print(prj.name)
+            # Skip projects without git repository
+            if "default_branch" not in prj.attributes:
+                continue
+
             mirror_settings = {
                 "description": f"Read-only mirror of {prj.web_url}",
                 "homepage": prj.web_url,