Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support SSH deploy keys from GH Actions. #1183

Merged
merged 1 commit into from
Nov 18, 2019
Merged

Conversation

fredrikekre
Copy link
Member

@fredrikekre fredrikekre commented Nov 17, 2019

X-ref: #1177

@fredrikekre fredrikekre added this to the 0.24.0 milestone Nov 17, 2019
@fredrikekre fredrikekre force-pushed the fe/ssh-gh-actions branch 2 times, most recently from 3209edc to 0e92e5d Compare November 17, 2019 01:41
@mortenpi
Copy link
Member

Question: I assume that with the GITHUB_TOKEN you can't push to a different repository (e.g. something like we're doing for the Julia docs)? So to support that use case with GitHub Actions, should we maybe keep the DOCUMENTER_KEY approach around even after the page triggering gets fixed?

src/deployconfig.jl Outdated Show resolved Hide resolved
@fredrikekre fredrikekre force-pushed the fe/ssh-gh-actions branch 2 times, most recently from fdd2cbd to 4016162 Compare November 18, 2019 13:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants