Whoops! We were sending our docs to the DurianRx repo.

Author: nedtwigg

.ci/push-javadoc.sh

@@ -13,7 +13,7 @@ cd $HOME
 git config --global user.email "[email protected]"
 git config --global user.name "travis-ci"
 rm -rf $HOME/gh-pages
-git clone --quiet --branch=gh-pages https://${gh_token}@github.com/diffplug/durian-rx gh-pages > /dev/null
+git clone --quiet --branch=gh-pages https://${gh_token}@github.com/diffplug/freshmark gh-pages > /dev/null
 
 # copy the javadoc into the build
 cd gh-pages