I've used this workflow on another project:https://medium.com/@nthgergo/publishing-gh-pages-with-travis-ci-53a8270e87db
https://github.com/jupyter/jupyter-js-services/blob/master/scripts/travis_after_success.sh
Do we want to do that?
On Sunday, August 23, 2015 at 8:32:19 AM UTC-5, Johannes Schönberger wrote: