Configure push repo from outside.

.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"
 
 

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