use after_success instead of deploy; otherwise Jekyll disappears

Author: larsrh

.travis.yml

@@ -17,12 +17,8 @@ install:
 script:
   - sbt makeMicrosite
 
-deploy:
-  - provider: script
-    script: ./deploy-microsite.sh
-    skip_cleanup: true
-    on:
-      branch: typelevel-readme
+after_success:
+  - ./deploy-microsite.sh
 
 cache:
   directories:

deploy-microsite.sh

@@ -2,10 +2,16 @@
 
 set -e
 
-GIT_EMAIL="[email protected]"
-GIT_NAME="Typelevel Bot"
+if [ "$TRAVIS_BRANCH" = "typelevel-readme" -a "$TRAVIS_PULL_REQUEST" = "false" ]; then
+  GIT_EMAIL="[email protected]"
+  GIT_NAME="Typelevel Bot"
 
-git config --global user.name "$GIT_NAME"
-git config --global user.email "$GIT_EMAIL"
+  git config --global user.name "$GIT_NAME"
+  git config --global user.email "$GIT_EMAIL"
+  git config --global push.default simple
+
+  sbt publishMicrosite
+else
+  echo "Skipping deployment!"
+fi
 
-sbt publishMicrosite