Pushing from a travis-ci machine

[JasonGross]

It would be nice if I could push from a travis-ci machine to my repo (e.g., push autogenerated documentation to the gh-pages branch). It seems like this should be possible with http://about.travis-ci.org/docs/user/travis-pro/#How-can-I-encrypt-files-that-include-sensitive-data%3F, but I am running into problems (see #41 and http://stackoverflow.com/questions/18285294/how-do-i-fix-openssl-unable-to-load-public-key). Additionally, ~/.ssh/id_rsa.pub seems not to exist on the travis-ci machines.
Is there a good way to do this, or could a way to enable/do this be added?

[joshk]

Hi Jason,

Just to confirm, this is an open source project right?

We do not install a public or private key pair for open source projects, that is just for projects on https://travis-ci.com

On 17/08/2013, at 8:13 AM, Jason Gross notifications@github.com wrote:

It would be nice if I could push from a travis-ci machine to my repo (e.g., push autogenerated documentation to the gh-pages branch). It seems like this should be possible with http://about.travis-ci.org/docs/user/travis-pro/#How-can-I-encrypt-files-that-include-sensitive-data%3F, but I am running into problems (see #41 and http://stackoverflow.com/questions/18285294/how-do-i-fix-openssl-unable-to-load-public-key). Additionally, ~/.ssh/id_rsa.pub seems not to exist on the travis-ci machines.
Is there a good way to do this, or could a way to enable/do this be added?

—
Reply to this email directly or view it on GitHub.

[JasonGross]

Yes, this is an open source project which I have admin bits to, and which
is set up to work with travis-ci (in particular, it's HoTT/HoTT).

By "projects on travis-ci.com", do you mean "projects run by travis, as
opposed to projects that use travis"?

[joshk]

travis-ci.org is our open source testing platform, travis-ci.com is our private code testing platform.

On 17/08/2013, at 3:34 PM, Jason Gross notifications@github.com wrote:

Yes, this is an open source project which I have admin bits to, and which
is set up to work with travis-ci (in particular, it's HoTT/HoTT).

By "projects on travis-ci.com", do you mean "projects run by travis, as
opposed to projects that use travis"?
—
Reply to this email directly or view it on GitHub.

[rkh]

@JasonGross you could encrypt a GitHub token and write it to the netrc. Maybe we should add GitHub as a deploy target.