From 25afa30f874f56a657ad0adc1f12e5a04f931e1b Mon Sep 17 00:00:00 2001 From: Michael Stapelberg Date: Thu, 16 Apr 2015 09:20:22 +0200 Subject: [PATCH] release.sh: set up master branch for pushing the website --- release.sh | 1 + 1 file changed, 1 insertion(+) 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 -- 2.39.5