[sysadmin-bin] Set mainline as default GitHub branch

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

commit c68d37075959a62ea31c7adaf424bfb71d4a73cc
Author: Bartłomiej Piotrowski <bpiotrowski gnome org>
Date:   Tue Oct 15 19:57:45 2019 +0200

    Set mainline as default GitHub branch

 git/post-receive-mirror-github | 2 --
 1 file changed, 2 deletions(-)
---
diff --git a/git/post-receive-mirror-github b/git/post-receive-mirror-github
index d53fbcd..82f774e 100755
--- a/git/post-receive-mirror-github
+++ b/git/post-receive-mirror-github
@@ -219,8 +219,6 @@ def main():
 
     if default_branch != 'mainline':
         gh.update_github_repo(github_name, 'default_branch', 'mainline')
-    else:
-        gh.update_github_repo(github_name, 'default_branch', settings["default_branch"])
 
     # Drop master branch in separate loop as GitHub API disallows to drop the
     # default branch and also expects new default branch to exists