From cfa79126bda66b72bd5fb44c314fba222cf93a57 Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Thu, 19 May 2016 00:48:09 +0200
Subject: [PATCH] Configure push repo from outside.

---
 .travis.yml              | 1 +
 ci/deploy_from_travis.sh | 4 +---
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 22640e4c9d..7d626f1b60 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -13,6 +13,7 @@ env:
   - ENCRYPTION_LABEL: "b5c2730599da"
   - COMMIT_AUTHOR_EMAIL: "chris@ethereum.org"
   - COMMIT_AUTHOR: "Travis CI"
+  - PUSH_REPO: "git@github.com:ethereum/browser-solidity.git"
   - FILES_TO_PACKAGE: "assets background.js build icon.png index.html manifest.json worker.js"
 
 
diff --git a/ci/deploy_from_travis.sh b/ci/deploy_from_travis.sh
index b2f3c0643b..09617e299f 100755
--- a/ci/deploy_from_travis.sh
+++ b/ci/deploy_from_travis.sh
@@ -2,8 +2,6 @@
 
 set -e
 
-REPO=`git config remote.origin.url`
-SSH_REPO=${REPO/https:\/\/github.com\//git@github.com:}
 SHA=`git rev-parse --verify HEAD`
 
 git config user.name "$COMMIT_AUTHOR"
@@ -22,4 +20,4 @@ chmod 600 deploy_key
 eval `ssh-agent -s`
 ssh-add deploy_key
 
-git push -f "${SSH_REPO}" gh-pages
+git push -f "${PUSH_REPO}" gh-pages