[sysadmin-bin] Turn it into type int

[Andrea Veri <averi src gnome org>]

commit 12b6fd4f7a61d0e6773a39660759479a76b75fda
Author: Andrea Veri <averi redhat com>
Date:   Tue Apr 9 17:49:09 2019 +0200

    Turn it into type int

 git/git.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/git/git.py b/git/git.py
index 5343d3a..3bc1154 100644
--- a/git/git.py
+++ b/git/git.py
@@ -215,7 +215,7 @@ def get_project_head_name():
 
     branch_name = 'master'
     try:
-        if platform.dist()[1].split('.')[0] > 6:
+        if int(platform.dist()[1].split('.')[0]) > 6:
             mainline = git.symbolic_ref('HEAD', short=True, _quiet=True)
             mainline = mainline.strip()
         else: