|
|
@ -7,7 +7,7 @@ SHA=`git rev-parse --short --verify HEAD` |
|
|
|
git config user.name "$COMMIT_AUTHOR" |
|
|
|
git config user.name "$COMMIT_AUTHOR" |
|
|
|
git config user.email "$COMMIT_AUTHOR_EMAIL" |
|
|
|
git config user.email "$COMMIT_AUTHOR_EMAIL" |
|
|
|
git checkout --orphan gh-pages |
|
|
|
git checkout --orphan gh-pages |
|
|
|
git rm --cached -r . |
|
|
|
git rm --cached -r -f . |
|
|
|
echo "# Automatic build" > README.md |
|
|
|
echo "# Automatic build" > README.md |
|
|
|
echo "Built website from \`$SHA\`. See https://github.com/ethereum/remix-ide/ for details." >> README.md |
|
|
|
echo "Built website from \`$SHA\`. See https://github.com/ethereum/remix-ide/ for details." >> README.md |
|
|
|
echo "To use an offline copy, download \`remix-$SHA.zip\`." >> README.md |
|
|
|
echo "To use an offline copy, download \`remix-$SHA.zip\`." >> README.md |
|
|
|