From 05cde1679e5e9f70e232f4dbf62b622554230547 Mon Sep 17 00:00:00 2001
From: Davide De Rosa <keeshux@gmail.com>
Date: Wed, 17 Apr 2019 22:28:52 +0200
Subject: [PATCH] Push stable to GitHub

---
 ci/push-release.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/push-release.sh b/ci/push-release.sh
index dc882eec..7585f1f2 100755
--- a/ci/push-release.sh
+++ b/ci/push-release.sh
@@ -2,4 +2,5 @@
 git push && git push github
 git push --tags && git push --tags github
 git checkout stable && git merge master
+git push github
 git checkout master