[sysadmin-bin] Push tags as well

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

commit f676016c08379e733d0ce33c0bcfb70d48c2087b
Author: Bartłomiej Piotrowski <bpiotrowski gnome org>
Date:   Fri Jan 31 21:41:31 2020 +0100

    Push tags as well

 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 ad70338..f60c579 100755
--- a/git/post-receive-mirror-github
+++ b/git/post-receive-mirror-github
@@ -235,7 +235,7 @@ def main():
     if doap_settings['default_branch'] == 'mainline':
         push_command = "git push --mirror git github com:{}/{}".format(gh.organization, github_repo_name)
     else:
-        push_command_tpl = "git push --force git github com:{}/{} {}:mainline {}"
+        push_command_tpl = "git push --force --tags git github com:{}/{} {}:mainline {}"
         refs = ["\"refs/heads/{}\"".format(branch) for branch in doap_settings['branches'] if branch not in 
("master", "mainline")]
         push_command = push_command_tpl.format(gh.organization, github_repo_name, 
doap_settings['default_branch'], " ".join(refs))