Commit c86d8f01 authored by chriseth's avatar chriseth

Merge pull request #7 from ethereum/deploy

Configure push repo from outside.
parents d12bfd74 cfa79126
...@@ -13,6 +13,7 @@ env: ...@@ -13,6 +13,7 @@ env:
- ENCRYPTION_LABEL: "b5c2730599da" - ENCRYPTION_LABEL: "b5c2730599da"
- COMMIT_AUTHOR_EMAIL: "chris@ethereum.org" - COMMIT_AUTHOR_EMAIL: "chris@ethereum.org"
- COMMIT_AUTHOR: "Travis CI" - 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" - FILES_TO_PACKAGE: "assets background.js build icon.png index.html manifest.json worker.js"
...@@ -2,8 +2,6 @@ ...@@ -2,8 +2,6 @@
set -e set -e
REPO=`git config remote.origin.url`
SSH_REPO=${REPO/https:\/\/github.com\//git@github.com:}
SHA=`git rev-parse --verify HEAD` SHA=`git rev-parse --verify HEAD`
git config user.name "$COMMIT_AUTHOR" git config user.name "$COMMIT_AUTHOR"
...@@ -22,4 +20,4 @@ chmod 600 deploy_key ...@@ -22,4 +20,4 @@ chmod 600 deploy_key
eval `ssh-agent -s` eval `ssh-agent -s`
ssh-add deploy_key ssh-add deploy_key
git push -f "${SSH_REPO}" gh-pages git push -f "${PUSH_REPO}" gh-pages
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment