2018-06-19 17:36:14 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
set -x -e
|
|
|
|
|
git clone git@github.com:iodide-project/pyodide-demo
|
|
|
|
|
cp build/* pyodide-demo
|
|
|
|
|
cd pyodide-demo
|
|
|
|
|
git checkout --orphan tmp
|
|
|
|
|
git add *
|
|
|
|
|
git config --global user.email "deploybot@nowhere.com"
|
|
|
|
|
git config --global user.name "Deploybot"
|
2018-09-16 18:02:54 +00:00
|
|
|
git commit -m "Deployed from Circle-CI $CIRCLE_BUILD_NUM"
|
2018-06-19 17:36:14 +00:00
|
|
|
git checkout master
|
|
|
|
|
git reset --hard tmp
|
|
|
|
|
git push origin -f master
|
