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

next
Michael Stapelberg 2015-04-16 09:20:22 +02:00
parent 57c56b2999
commit 25afa30f87
1 changed files with 1 additions and 0 deletions

View File

@ -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