Aaron Meurer
Aaron Meurer
The --built-docs flag was incorrectly not being used in this repo and it wasn't failing (or rather it was failing, but in a weird way). https://github.com/ergs/rg-db-public. Note that it doesn't...
Also not show --gh-pages-docs.
That way if you have multiple locations of stuff to sync it is easy to do that.
Someone might want it, e.g., if there is a worry that the docs could blow up the repo size. Shouldn't be the default, though, because there are nice advantages to...
See https://travis-ci.org/ayush1999/sympy/jobs/253525213 (you have to download the raw log).
You get ``` Identity added: /Users/travis/.ssh/github_deploy_key (/Users/travis/.ssh/github_deploy_key) ssh_askpass: exec(/usr/X11R6/bin/ssh-askpass): No such file or directory Host key verification failed. fatal: Could not read from remote repository. ``` Seems to be some...
`get_travis_branch()` says it gives the right branch for a PR, but it seems to be giving master for me. This is on a PR from a branch on the same...
I am getting this even after re-running doctr configure and replacing the encrypted key in .travis.yml. This is after installing doctr from git. No idea what is going on here....
We need some kind of automated tests for doctr configure. Just testing `--no-upload-key` is a good start. Testing beyond that is more difficult, as we'd have to mock out the...
This is something to look at https://developer.github.com/early-access/integrations/. It's still in early access. I couldn't tell if the new fine-grained permissions let you request access to push to only a single...