Permalink
Cannot retrieve contributors at this time
Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Sign up
Fetching contributors…
| #!/bin/bash | |
| echo "- Checking out deployment branch..." | |
| git checkout gh-pages | |
| echo | |
| echo "- Merging master into deployment branch" | |
| git merge master -m "Merging master" | |
| echo | |
| echo "- Building..." | |
| ./build.sh | |
| echo | |
| echo "- Comitting new artefacts..." | |
| git add ./build/elm.js | |
| git commit -m "Updating build artefacts" | |
| echo | |
| echo "- Pushing built result..." | |
| git push -f | |
| echo | |
| echo "- Checking out master..." | |
| git checkout master | |
| echo | |
| echo "- Deployment successful (ノ◕ヮ◕)ノ*:・゚✧" |