[sysadmin-bin] Fix indentation

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

commit db7cae2af576ddabad782959fed3bfdd6575b9b7
Author: Bartłomiej Piotrowski <bpiotrowski gnome org>
Date:   Wed Oct 16 07:03:30 2019 +0200

    Fix indentation

 git/post-receive-mirror-github | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/git/post-receive-mirror-github b/git/post-receive-mirror-github
index bcf4c42..47df5ca 100755
--- a/git/post-receive-mirror-github
+++ b/git/post-receive-mirror-github
@@ -185,7 +185,7 @@ def main():
     if repo_name.endswith('.wiki'):
         sys.exit(1)
 
-   settings = get_repo_settings(repo_name)
+    settings = get_repo_settings(repo_name)
     repo_exists = gh.check_if_repo_exists(repo_name)
 
     # Avoid master here as we will later push it under different name