From: Michael Stapelberg <michael@stapelberg.de>
Date: Thu, 16 Apr 2015 07:20:22 +0000 (+0200)
Subject: release.sh: set up master branch for pushing the website
X-Git-Tag: 4.11~135
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=25afa30f874f56a657ad0adc1f12e5a04f931e1b;p=i3%2Fi3

release.sh: set up master branch for pushing the website
---

diff --git a/release.sh b/release.sh
index af42d9bf..c829f671 100755
--- a/release.sh
+++ b/release.sh
@@ -176,6 +176,7 @@ git commit -a -m "update docs for ${RELEASE_VERSION}"
 
 git remote remove origin
 git remote add origin git@github.com:i3/i3.github.io.git
+git config --add remote.origin.push "+refs/heads/master:refs/heads/master"
 
 ################################################################################
 # Section 4: prepare release announcement email