huh, it looks like the deployment is failing: https://travis-ci.com/rust-lang/async-book/builds/115620289
the error isn't exactly brilliantly clear ("Couldn't push the build")
@Pietro Albini any chance you know what might be going on? has something about the $GITHUB_TOKEN keys lately?
not that I know of
@Taylor Cramer would you mind if I switch the repo to use deploy keys?
@Pietro Albini do it :)
although I've never gotten the dang things to work
ok pushed a commit to use deploy keys
@nikomatsakis as infra we built some nice tooling around deploy keys ;)
@Pietro Albini thanks so much!
you might also want to
cache: cargo to speed up the builds
:tada: it works!
@Pietro Albini re: tooling, good to know
@nikomatsakis beware the instructions only work on the rust-lang and rust-lang-nursery orgs though: they use importable configs which is a closed beta travis feature