Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
try to bugfix doctr pushing to gh-pages
was getting error message: Don't have permission to push. Not trying. (perhaps, because we were in a detached head state?)
- Loading branch information