From c5d6400a1647fd1f4adb12a2655fb3ef44a91668 Mon Sep 17 00:00:00 2001
From: Jonas Gunz <himself@jonasgunz.de>
Date: Wed, 26 Aug 2020 12:58:21 +0200
Subject: fix push on create, fix push tags

---
 github_sync.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/github_sync.sh b/github_sync.sh
index edd6a15..cf7cb28 100755
--- a/github_sync.sh
+++ b/github_sync.sh
@@ -121,11 +121,12 @@ for repo in "${TO_CREATE[@]}"; do
 	
 	[ -z "${GH_REPOS[$repo]}" ] && echo No clone_URL? && continue
 
-	git -C "$REPO_DIR/$repo" push "${GH_REPOS[$repo]}"
+	TO_PUSH+=($repo)
 done
 
 for repo in "${TO_PUSH[@]}"; do
 	git -C "$REPO_DIR/$repo" push --all "${GH_REPOS[$repo]}"
+	git -C "$REPO_DIR/$repo" push --tags "${GH_REPOS[$repo]}"
 done
 
 echo
-- 
cgit v1.2.3