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

diff --git a/release.sh b/release.sh
index af42d9bf8b7d8f99637af760dc14e804e9333e28..c829f671dd22a17a3dc8e5362521b80899d7fb9e 100755 (executable)
--- 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