Branch: refs/heads/0.20.X Home: https://github.com/scikit-learn/scikit-learn Commit: 061343e9fc3b89275d6604e0e3557473a46a12fb https://github.com/scikit-learn/scikit-learn/commit/061343e9fc3b89275d6604e0... Author: Joel Nothman <joel.nothman@gmail.com> Date: 2018-08-30 (Thu, 30 Aug 2018) Changed paths: M build_tools/circle/push_doc.sh Log Message: ----------- CI Only try to remove docs dir if present **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/ Functionality will be removed from GitHub.com on January 31st, 2019.