1
0

deploy-docs 424 B

1234567891011121314151617181920212223242526272829
  1. #!/bin/bash
  2. set -ex
  3. pushd docs
  4. export GIT_DIR=.git-gh-pages
  5. export GIT_WORK_TREE=.
  6. if [ ! -d "$GIT_DIR" ]; then
  7. git init
  8. fi
  9. if !(git remote | grep origin); then
  10. git remote add origin [email protected]:orchardup/fig.git
  11. fi
  12. cp .gitignore-gh-pages .gitignore
  13. echo ".git-gh-pages" >> .gitignore
  14. git add -u
  15. git add .
  16. git commit -m "update" || echo "didn't commit"
  17. git push -f origin master:gh-pages
  18. rm .gitignore
  19. popd