From 2ab61443544776fe07e1fece87ffb2e77996bd8b Mon Sep 17 00:00:00 2001
From: Perry Werneck <perry.werneck@gmail.com>
Date: Thu, 27 Dec 2018 09:51:57 -0200
Subject: [PATCH] Adding a 'git push' before syncing repositories.

---
 gitsync.sh | 2 ++
 1 file changed, 2 insertions(+), 0 deletions(-)

diff --git a/gitsync.sh b/gitsync.sh
index 67a0945..848806f 100755
--- a/gitsync.sh
+++ b/gitsync.sh
@@ -12,6 +12,8 @@
 #
 #
 
+git push
+
 git fetch origin
 git checkout master
 git merge origin/master
--
libgit2 0.21.2